An Abstract Interpretation of DPLL(T)
No abstract available.
Related papers
- Abstract satisfaction POPL 2014
- Generalizing DPLL to Richer Logics CAV 2009
- A Fast Linear-Arithmetic Solver for DPLL(T) CAV 2006
- DPLL( T): Fast Decision Procedures CAV 2004
- DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic CAV 2005
- 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
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023