Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification
Abstract elided by the publisher.
Related papers
- A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions CAV 2014
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023
- Inter-theory dependency analysis for SMT string solvers OOPSLA 2020
- A Fast Linear-Arithmetic Solver for DPLL(T) CAV 2006
- High-Level Abstractions for Simplifying Extended String Constraints in SMT CAV 2019
- Solving string constraints with Regex-dependent functions through transducers with priorities and variables POPL 2022
- Sparse computation data dependence simplification for efficient compiler-generated inspectors PLDI 2019
- CertiStr: a certified string solver CPP 2022