Learning Splitting Heuristics for Parallel String Solvers

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…