Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning.

Allen Van Gelder

Published in: LPAR (2005)

Keyphrases

clause learning
sat solvers
satisfiability problem
sat solving
boolean satisfiability
sat problem
propositional satisfiability
expert systems
orders of magnitude
davis putnam
artificial intelligence
high resolution
information retrieval systems