Rewrite-Based Decision Procedures.

Maria Paola Bonacina Mnacho Echenim

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

decision procedures
theorem proving
modal logic
automated reasoning
conjunctive queries
query rewriting
reasoning problems
satisfiability problem
machine learning
special case
data exchange
quantified boolean formulas
tight complexity bounds