A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions
No abstract available.
Related papers
- Even Faster Conflicts and Lazier Reductions for String Solvers CAV 2022
- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length CAV 2021
- Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification CAV 2017
- Solving string constraints with Regex-dependent functions through transducers with priorities and variables POPL 2022
- Symbolic Boolean derivatives for efficiently solving extended regular expression constraints PLDI 2021
- What is decidable about string constraints with the ReplaceAll function POPL 2018
- CertiStr: a certified string solver CPP 2022
- Z3-Noodler: An Automata-based String Solver TACAS 2024