TY  - RPRT
TI  - Learning a SAT Solver from Single-Bit Supervision
AU  - Daniel Selsam
AU  - Matthew Lamm
AU  - Benedikt Bünz
AU  - Percy Liang
AU  - Leonardo de Moura
AU  - David L. Dill
PY  - 2019
UR  - https://arxiv.org/abs/1802.03685
ID  - 1802.03685
ER  -