Login / Signup
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
Samuel R. Buss
Jan Hoffmann
Jan Johannsen
Published in:
CoRR (2008)
Keyphrases
</>
clause learning
sat solvers
propositional satisfiability
orders of magnitude
high resolution
learning algorithm
data structure
search algorithm
optimization problems
decision trees
knowledge representation
combinatorial optimization