DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic
No abstract available.
Related papers
- A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions CAV 2014
- Generalizing DPLL to Richer Logics CAV 2009
- Sets with Cardinality Constraints in Satisfiability Modulo Theories VMCAI 2011
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog POPL 1982
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic VMCAI 2017
- 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