如何实施机器学习算法来解决 SAT 问题？ [关闭]答案

【问题标题】：How to implement Machine Learning algorithms for SAT solving? [closed]如何实施机器学习算法来解决 SAT 问题？ [关闭]
【发布时间】：2021-08-22 23:29:18
【问题描述】：

我有兴趣将机器学习算法应用于 SAT 求解过程。 SAT 求解器的当前趋势似乎是他们使用 CDCL 程序。具体来说，有什么小例子可以说明这个想法吗？

【问题讨论】：

标签： machine-learning sat

【解决方案1】：

我所知道的最接近的工作是 Selsam 等人的“Learning a SAT Solver from Single-Bit Supervision”。见https://arxiv.org/abs/1802.03685

您还应该查看 Selsam 关于该主题的博士论文 https://searchworks.stanford.edu/view/13250178，其中有很多其他参考资料。

【讨论】：

感谢您的指点。似乎主要的 SAT 求解器还没有开始使用 ML 方法。
SAT 求解是一个非常成熟的领域。除非 ML 有一些“重要”的东西可以提供，否则很难击败当今存在的经过精心调整的引擎。我可以想象在非传统领域（即软件/硬件验证之外）出现的应用程序可能会产生可以从这些技术中受益的问题，但这当然是猜测。