AINeutralarXiv – CS AI · 8h ago6/10
🧠
Learning Splitting Heuristics for Parallel String Solvers
Researchers have developed a machine learning approach to automatically generate splitting heuristics for parallel string constraint solvers, replacing manual design methods. The technique was implemented in Z3seq and Z3str4, demonstrating improved performance in solving complex string constraints across multiple processor cores.