← Search

Matthew Lamm

2 accepted papers

2019

Learning a SAT Solver from Single-Bit Supervision

ICLR 2019poster

We present NeuroSAT, a message passing neural network that learns to solve SAT problems after only being trained as a classifier to predict satisfiability. Although it is not competitive with state-of-the-art SAT solvers, NeuroSAT can solve problems that are substantially larger and more difficult…

Cited by 541SourcePDFScholar