Integrating Equivalency Reasoning into Davis-Putnam Procedure.
Chu Min LiPublished in: AAAI/IAAI (2000)
Keyphrases
- davis putnam
- propositional logic
- satisfiability problem
- propositional satisfiability
- sat problem
- tree search
- phase transition
- automated reasoning
- constraint satisfaction
- quantified boolean formulae
- belief revision
- cnf formula
- temporal logic
- first order logic
- np complete
- constraint programming
- probabilistic reasoning
- search algorithm
- knowledge base
- boolean formula
- clause learning
- genetic algorithm
- branch and bound
- sat solvers
- learning algorithm