Login / Signup
Enhancing Davis Putnam with Extended Binary Clause Reasoning.
Fahiem Bacchus
Published in:
AAAI/IAAI (2002)
Keyphrases
</>
davis putnam
cnf formula
propositional logic
propositional satisfiability
satisfiability problem
clause learning
knowledge base
automated reasoning
np complete
sat problem
boolean formula
quantified boolean formulae
unit propagation
tree search
sat solvers
logic programs
knowledge representation
expert systems