NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

I will present NeuroSAT, a message passing neural network that learns to solve SAT problems after only being trained as a classifier to predict sat...