Keyphrases
- davis putnam
- tree search
- propositional logic
- unit propagation
- satisfiability problem
- propositional satisfiability
- sat solvers
- sat problem
- clause learning
- constraint satisfaction
- phase transition
- search tree
- max sat
- search algorithm
- constraint propagation
- branch and bound
- first order logic
- np complete
- industrial applications
- special case
- belief revision
- constraint satisfaction problems
- truth values
- search space