Learning a SAT Solver from Single-Bit Supervision.

Daniel Selsam, Matthew Lamm, Benedikt Bnz, Percy Liang, Leonardo de Moura, David L. Dill

Browse the full ICLR paper archive.