A Fast Linear-Arithmetic Solver for DPLL(T)
Top Cited Papers
- 1 January 2006
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The MathSAT 3 SystemPublished by Springer Nature ,2005
- A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic LogicPublished by Springer Nature ,2005
- SMT-COMP: Satisfiability Modulo Theories CompetitionPublished by Springer Nature ,2005
- CVC Lite: A New Implementation of the Cooperating Validity CheckerPublished by Springer Nature ,2004
- DPLL(T): Fast Decision ProceduresPublished by Springer Nature ,2004
- CVC: A Cooperating Validity CheckerPublished by Springer Nature ,2002
- The Cassowary linear arithmetic constraint solving algorithmACM Transactions on Computer-Human Interaction, 2001
- ICS: Integrated Canonizer and Solver?Published by Springer Nature ,2001
- Validity checking for combinations of theories with equalityPublished by Springer Nature ,1996
- Fourier-Motzkin elimination and its dualJournal of Combinatorial Theory, Series A, 1973