Combining decision procedures for the reals

Jeremy Avigad Harvey Friedman

Published in: CoRR (2006)

Keyphrases

decision procedures
theorem proving
modal logic
automated reasoning
reasoning problems
conjunctive queries
query containment
quantified boolean formulas
bayesian networks
search algorithm
special case
incomplete information
satisfiability problem
constraint databases
presburger arithmetic