BriefGPT.xyz
Feb, 2018
利用单位监督学习SAT求解器
Learning a SAT Solver from Single-Bit Supervision
HTML
PDF
Daniel Selsam, Matthew Lamm, Benedikt Bunz, Percy Liang, Leonardo de Moura...
TL;DR
NeuroSAT是一种信息传递神经网络,通过分类器训练来预测可满足性,在解决图着色、团检测、支配集和顶点覆盖等问题上具有较好的泛化性能。
Abstract
We present
neurosat
, a
message passing neural network
that learns to solve
sat problems
after only being trained as a classifier to predic
→