Generalizing DPLL to Richer Logics.
Kenneth L. McMillanAndreas KuehlmannMooly SagivPublished in: CAV (2009)
Keyphrases
- expressive power
- propositional logic
- first order logic
- np complete
- sat solvers
- modal logic
- nonmonotonic logics
- search tree
- horn logic
- clause learning
- sat problem
- max sat
- finer grained
- propositional calculus
- propositional dynamic logic
- sat instances
- decision procedures
- conditional logic
- propositional satisfiability
- epistemic logic
- davis putnam
- industrial applications