Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability.
Nobuhiro YugamiPublished in: IJCAI (1995)
Keyphrases
- davis putnam
- propositional satisfiability
- theoretical analysis
- propositional logic
- satisfiability problem
- sat solvers
- sat problem
- constraint programming
- industrial applications
- automated reasoning
- tree search
- constraint satisfaction
- first order logic
- np complete
- clause learning
- constraint propagation
- belief revision
- special case
- phase transition
- propositional formulas
- theorem proving
- randomly generated
- sat instances
- constraint satisfaction problems
- temporal logic