Learning Splitting Heuristics for Parallel String Solvers
यह शोध पत्र समानांतर स्ट्रिंग सॉल्वर (parallel string solvers) के लिए स्प्लिटिंग ह्यूरिस्टिक्स (splitting heuristics) को स्वचालित रूप से सीखने के लिए एक डेटा-संचालित दृष्टिकोण प्रस्तावित करता है, जो यह प्रदर्शित करता है कि ये सीखे गए ह्यूरिस्टिक्स Z3seq और Z3str4 में कार्यान्वित होने पर हल किए गए फॉर्मूलों की संख्या और औसत समाधान समय दोनों में मैन्युअल रूप से डिज़ाइन किए गए ह्यूरिस्टिक्स की तुलना में काफी बेहतर प्रदर्शन करते हैं।