数据驱动学习并行字符串求解器分裂启发式
原标题：Learning Splitting Heuristics for Parallel String Solvers
速览
针对并行字符串求解中分裂启发式依赖人工设计且次优的问题，本文提出一种数据驱动的自动生成方法。该方法将分裂原子选择建模为学习任务，利用输入公式特征及求解器执行动态数据。在Z3seq和Z3str4上的实验表明，学习到的启发式在求解公式数量和平均时间上均优于人工设计方法。
AI 深度解读
AI 正在阅读原文并生成深度解读…（首次约 20–40 秒，之后秒开）
查看原文 →arxiv.org