Keyphrases
- decision procedures
- theorem proving
- modal logic
- automated reasoning
- theorem prover
- reasoning problems
- conjunctive queries
- first order logic
- natural deduction
- inference rules
- tight complexity bounds
- objective function
- formal methods
- satisfiability problem
- knowledge representation
- search algorithm
- quantified boolean formulas
- presburger arithmetic
- database systems