Generalizing DPLL to Richer Logics
No abstract available.
Related papers
- DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic CAV 2005
- A Fast Linear-Arithmetic Solver for DPLL(T) CAV 2006
- DPLL( T): Fast Decision Procedures CAV 2004
- An Abstract Interpretation of DPLL(T) VMCAI 2013
- 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