An Experimental Evaluation of Ground Decision Procedures.

Leonardo Mendonça de Moura Harald Rueß

Published in: CAV (2004)

Keyphrases

decision procedures
experimental evaluation
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
presburger arithmetic
databases
theorem prover
expert systems
integrity constraints
inference rules