Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints
Abstract elided by the publisher.
Related papers
- A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints APLAS 2018
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023
- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length CAV 2021
- Decision Procedures for Sequence Theories CAV 2023
- Automatic repair of regular expressions OOPSLA 2019
- A Uniform Framework for Handling Position Constraints in String Solving PLDI 2025
- What is decidable about string constraints with the ReplaceAll function POPL 2018
- The Power of Regular Constraint Propagation OOPSLA 2025