14 search results - page 1 / 3 » cade 1998 |
CADE
1998
Springer
13 years 9 months ago
1998
Springer
CADE
1998
Springer
13 years 9 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
CADE
1998
Springer
13 years 9 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...
CADE
1998
Springer
13 years 9 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...
CADE
1998
Springer
13 years 9 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...