Strategies for Combining Decision Procedures.

Sylvain Conchon Sava Krstic

Published in: TACAS (2003)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
data mining
satisfiability problem
query answering
temporal logic
quantified boolean formulas
tight complexity bounds