An Experimental Evaluation of Ground Decision Procedures
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted FunctionsPublished by Springer Nature ,2002
- CVC: A Cooperating Validity CheckerPublished by Springer Nature ,2002
- A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical PropositionsPublished by Springer Nature ,2002
- ICS: Integrated Canonizer and Solver?Published by Springer Nature ,2001
- Validity checking for combinations of theories with equalityPublished by Springer Nature ,1996
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Deciding Combinations of TheoriesJournal of the ACM, 1984
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960