Skip to content
Sagan

Paper

Learning Splitting Heuristics for Parallel String Solvers

Unreadunread

AI summary

arXiv:2606. 20656v1 Announce Type: new Abstract: String constraint solvers are crucial for reasoning about string-manipulating programs.