arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0907.5032cs.AI
收藏

基于机器学习技术的重启策略选择

Restart Strategy Selection using Machine Learning Techniques

Shai Haim, Toby Walsh

摘要:

重启策略是影响冲突驱动的Davis Putnam风格SAT求解器性能的重要因素。为问题实例选择好的重新启动策略可以提高求解器的性能。受最近成功应用机器学习技术来预测SAT求解器的运行时间的启发,我们提出了一种方法,该方法使用机器学习通过智能选择重新启动策略来提高求解器的性能。基于易于计算的特征,我们训练可满足性分类器和运行时模型。我们使用这些模型来选择重启策略。我们目前的实验结果比较这种技术与最常用的重新启动策略。我们的研究结果表明,机器学习是有效的,在提高求解器的性能。

英文摘要:

Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance can enhance the performance of a solver. Inspired by recent success applying machine learning techniques to predict the runtime of SAT solvers, we present a method which uses machine learning to boost solver performance through a smart selection of the restart strategy. Based on easy to compute features, we train both a satisfiability classifier and runtime models. We use these models to choose between restart strategies. We present experimental results comparing this technique with the most commonly used restart strategies. Our results demonstrate that machine learning is effective in improving solver performance.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑