The MathSAT 3 System
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 315-321
- https://doi.org/10.1007/11532231_23
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A SAT-Based Decision Procedure for the Boolean Combination of Difference ConstraintsPublished by Springer Nature ,2005
- Efficient Satisfiability Modulo Theories via Delayed Theory CombinationPublished by Springer Nature ,2005
- An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic LogicPublished by Springer Nature ,2005
- An Extensible SAT-solverPublished by Springer Nature ,2004
- DPLL(T): Fast Decision ProceduresPublished by Springer Nature ,2004
- Theorem Proving Using Lazy Proof ExplicationPublished by Springer Nature ,2003
- A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical PropositionsPublished by Springer Nature ,2002
- Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and RequirementsPublished by Springer Nature ,2002
- The Cassowary linear arithmetic constraint solving algorithmACM Transactions on Computer-Human Interaction, 2001
- Negative-cycle detection algorithmsMathematical Programming, 1999