Combining Decision Procedures.

Zohar Manna Calogero G. Zarba

Published in: 10th Anniversary Colloquium of UNU/IIST (2002)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
quantified boolean formulas
satisfiability problem
data sets
search space
first order logic