A Fast Linear-Arithmetic Solver for DPLL(T)
Abstract elided by the publisher.
Related papers
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023
- Fast linear programming through transprecision computing on small and sparse data OOPSLA 2020
- DPLL( T): Fast Decision Procedures CAV 2004
- Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification CAV 2017
- A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions CAV 2014
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic VMCAI 2017
- Abstract satisfaction POPL 2014
- Sets with Cardinality Constraints in Satisfiability Modulo Theories VMCAI 2011