DPLL( T): Fast Decision Procedures
Abstract elided by the publisher.
Related papers
- A Fast Linear-Arithmetic Solver for DPLL(T) CAV 2006
- Abstract satisfaction POPL 2014
- Certified Decision Procedures for Width-Independent Bitvector Predicates OOPSLA 2025
- The Activity of a Variable and Its Relation to Decision Trees TOPLAS 1980
- A modular, efficient formalisation of real algebraic numbers CPP 2016
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic VMCAI 2017
- Fast: A Transducer-Based Language for Tree Manipulation TOPLAS 2015
- Fast: a transducer-based language for tree manipulation PLDI 2014