Clause Learning Can Effectively P-Simulate General Propositional Resolution.

Philipp Hertel Fahiem Bacchus Toniann Pitassi Allen Van Gelder

Published in: AAAI (2008)

Keyphrases

clause learning
sat solvers
special case
satisfiability problem
sat problem
propositional satisfiability
knowledge base
np complete
orders of magnitude
optimization problems
propositional logic