Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints.

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang

Browse the full CAV paper archive.