SAT vs. translation based decision procedures for modal logics: a comparative evaluation.
Enrico GiunchigliaFausto GiunchigliaRoberto SebastianiArmando TacchellaPublished in: J. Appl. Non Class. Logics (2000)
Keyphrases
- comparative evaluation
- decision procedures
- modal logic
- satisfiability problem
- temporal logic
- automated reasoning
- inference rules
- reasoning problems
- sat solvers
- theorem proving
- sat problem
- search algorithm
- propositional satisfiability
- quantified boolean formulas
- phase transition
- nonmonotonic logics
- np complete
- situation calculus
- model theoretic
- default logic
- conjunctive queries
- epistemic logic
- machine learning
- sat instances