Strategies for combining decision procedures.

Sylvain Conchon Sava Krstic

Published in: Theor. Comput. Sci. (2006)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
satisfiability problem
machine learning
constraint satisfaction
temporal logic