Incorporating Decision Procedures in Implicit Induction.

Alessandro Armando Michaël Rusinowitch Sorin Stratulat

Published in: J. Symb. Comput. (2002)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
satisfiability problem
machine learning
np complete
quantified boolean formulas
data integration
first order logic
fixpoint