NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

 

 

 

从Single-Bit监督中学习SAT | 刘晶 | 集智俱乐部图网络论文读书会20190527

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

openreview：很早有人用 RL 的方法，能达到90%的准确率。。。

 

DPLL算法和 survey propagation：可能 100%的准确率

 

 

 

 

 刚好就是模型的解

 

 

 

 

 

 

 

 

 

 

<style></style> <style></style>

标签：Solver,Supervision,NeuroSAT,Single,Bit,SAT
来源： https://www.cnblogs.com/cx2016/p/13521243.html