14 search results - page 1 / 3 » cade 1998 |
146
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
150
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
173
Voted
CADE
1998
Springer
15 years 10 months ago
1998
Springer
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
153
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...