A Rewrite Rule Based Framework for Combining Decision Procedures *
- 14 March 2002
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Rewriting, Induction and Decision Procedures: A Case Study of Presburger ArithmeticPublished by Springer Nature ,2001
- Using an induction prover for verifying arithmetic circuitsInternational Journal on Software Tools for Technology Transfer, 2000
- A Framework for Cooperating Decision ProceduresPublished by Springer Nature ,2000
- Rewriting, decision procedures and lemma speculation for automated hardware verificationPublished by Springer Nature ,1997
- New uses of linear arithmetic in automated theorem proving by inductionJournal of Automated Reasoning, 1996
- Validity checking for combinations of theories with equalityPublished by Springer Nature ,1996
- An overview of Rewrite Rule Laboratory (RRL)Computers & Mathematics with Applications, 1995
- On Fourier's algorithm for linear arithmetic constraintsJournal of Automated Reasoning, 1992
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979