1252 search results - page 8 / 251 » Minimizing Learned Clauses |
EMNLP
2010
14 years 7 months ago
2010
Even the entire Web corpus does not explicitly answer all questions, yet inference can uncover many implicit answers. But where do inference rules come from? This paper investigat...
GECCO
2003
Springer
15 years 2 months 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...
68
Voted
SAT
2009
Springer
15 years 4 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
15 years 3 months ago
2004
Springer
IJCAI
2007
14 years 11 months ago
2007
