如何实现用于 SAT 解决的机器学习算法？
How to implement Machine Learning algorithms for SAT solving?
我有兴趣将机器学习算法应用于 SAT 解决过程。 SAT 求解器的当前趋势似乎是使用 CDCL 程序。
具体有没有什么小例子可以说明思路？
我所知道的最接近的工作是 Selsam 等人的“从单比特监督中学习 SAT 求解器”。参见 https://arxiv.org/abs/1802.03685
您还应该查看 Selsam 关于此主题的博士论文 https://searchworks.stanford.edu/view/13250178，其中还有很多其他参考资料。
我有兴趣将机器学习算法应用于 SAT 解决过程。 SAT 求解器的当前趋势似乎是使用 CDCL 程序。 具体有没有什么小例子可以说明思路？
我所知道的最接近的工作是 Selsam 等人的“从单比特监督中学习 SAT 求解器”。参见 https://arxiv.org/abs/1802.03685
您还应该查看 Selsam 关于此主题的博士论文 https://searchworks.stanford.edu/view/13250178，其中还有很多其他参考资料。