Keyphrases
- modal logic
- satisfiability problem
- temporal logic
- model checking
- decision procedures
- inference rules
- situation calculus
- sat problem
- classical logic
- nonmonotonic logics
- epistemic logic
- pspace complete
- sat instances
- stochastic local search algorithms
- mazurkiewicz traces
- conditional logic
- np complete
- orders of magnitude
- stochastic local search
- default logic
- max sat
- belief revision
- dynamic logic
- prime implicates
- constraint satisfaction problems
- autoepistemic logic
- search algorithm