Similar Items: Combining decision procedures for the reals
- Predicate Abstraction via Symbolic Decision Procedures
- Extracting verified decision procedures: DPLL and Resolution
- Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
- Decision problems for linear recurrences involving arbitrary real numbers
- Inter-procedural Two-Variable Herbrand Equalities
- A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving