Login / Signup
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning.
Samuel R. Buss
Jan Hoffmann
Jan Johannsen
Published in:
Log. Methods Comput. Sci. (2008)
Keyphrases
</>
clause learning
propositional satisfiability
orders of magnitude
sat solvers
high resolution
data structure
computational complexity
artificial intelligence
machine learning
optimization problems
metaheuristic
search strategies
satisfiability problem
sat instances