Ordered Binary Decision Diagrams and the Davis-Putnam Procedure.
Tomás E. UribeMark E. StickelPublished in: CCL (1994)
Keyphrases
- davis putnam
- quantified boolean formulae
- ordered binary decision diagrams
- propositional logic
- satisfiability problem
- propositional satisfiability
- sat problem
- tree search
- phase transition
- constraint satisfaction
- first order logic
- cnf formula
- clause learning
- np complete
- search algorithm
- constraint satisfaction problems
- sat instances
- sat solvers
- evolutionary algorithm
- belief revision
- mathematical programming
- optimization problems
- learning algorithm
- temporal logic
- lower bound