Learning a SAT Solver from Single-Bit Supervision.

Daniel Selsam Matthew Lamm Benedikt Bünz Percy Liang Leonardo de Moura David L. Dill

Published in: ICLR (Poster) (2019)

Keyphrases

sat solvers
learning algorithm
active learning