An Experimental Evaluation of Ground Decision Procedures
Authors:
- 1 January 2004
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 162-174
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 Functions2002
- CVC: A Cooperating Validity Checker2002
- A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions2002
- ICS: Integrated Canonizer and Solver?2001
- Validity checking for combinations of theories with equality1996
- 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