3719 search results - page 27 / 744 » RACER System Description |
CADE
1999
Springer
15 years 1 months ago
1999
Springer
TABLEAUX
1999
Springer
15 years 1 months ago
1999
Springer
83
Voted
CADE
1998
Springer
15 years 1 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...
74
Voted
CADE
1998
Springer
15 years 1 months ago
1998
Springer
87
Voted
CADE
1998
Springer
15 years 1 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...