Combining Proof-Producing Decision Procedures.

Silvio Ranise Christophe Ringeissen Duc-Khanh Tran

Published in: FroCoS (2007)

Keyphrases

decision procedures
theorem proving
automated reasoning
modal logic
reasoning problems
conjunctive queries
presburger arithmetic
satisfiability problem
theorem prover
model theoretic
inference rules
knowledge base
np complete
first order logic
linear logic
quantified boolean formulas