Strategies for Combining Decision Procedures
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 537-552
- https://doi.org/10.1007/3-540-36577-x_39
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Deconstructing ShostakPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- CVC: A Cooperating Validity CheckerPublished by Springer Nature ,2002
- Little Engines of ProofPublished by Springer Nature ,2002
- Combining Shostak TheoriesPublished by Springer Nature ,2002
- Shostak LightPublished by Springer Nature ,2002
- ICS: Integrated Canonizer and Solver?Published by Springer Nature ,2001
- Cooperation of Decision Procedures for the Satisfiability ProblemPublished by Springer Nature ,1996
- Deciding Combinations of TheoriesJournal of the ACM, 1984
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979