1667 search results - page 8 / 334 » Extended clause learning |
GECCO
2003
Springer
14 years 26 days ago
2003
Springer
Over the last few years, a few approaches have been proposed aiming to combine genetic and evolutionary computation (GECCO) with inductive logic programming (ILP). The underlying r...
SAT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
SAT
2004
Springer
14 years 1 months ago
2004
Springer
IJCAI
2007
13 years 9 months ago
2007
CADE
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...