TY  - RPRT
TI  - Learning Splitting Heuristics for Parallel String Solvers
AU  - Chenhao Gao
AU  - Peisen Yao
PY  - 2026
UR  - https://arxiv.org/abs/2606.20656
ID  - 2606.20656
ER  -