Decision Procedures Using Model Building Techniques.

Ricardo Caferra Nicolas Peltier

Published in: CSL (1995)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
satisfiability problem
database
quantified boolean formulas
tight complexity bounds
artificial intelligence
special case
inference rules
query containment