NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
从Single-Bit监督中学习SAT | 刘晶 | 集智俱乐部图网络论文读书会20190527
openreview:很早有人用 RL 的方法,能达到90%的准确率。。。
DPLL算法和 survey propagation:可能 100%的准确率
刚好就是模型的解
<style></style> <style></style>