3706 search results - page 20 / 742 » System Description: E-KRHyper |
TABLEAUX
1999
Springer
13 years 12 months ago
1999
Springer
CADE
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
CADE
1998
Springer
13 years 12 months ago
1998
Springer
CADE
1998
Springer
13 years 12 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...
CADE
1992
Springer
13 years 12 months ago
1992
Springer
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...