1 paper
Chenhao Gao, Peisen Yao
String constraint solvers are crucial for reasoning about string-manipulating programs. However, many practical string constraints are undecidable, and real-world applications ofte…