Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill. Learning a SAT Solver from Single-Bit Supervision. In 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019. OpenReview.net, 2019. [doi]
@inproceedings{SelsamLBLMD19,
title = {Learning a SAT Solver from Single-Bit Supervision},
author = {Daniel Selsam and Matthew Lamm and Benedikt Bünz and Percy Liang and Leonardo de Moura and David L. Dill},
year = {2019},
url = {https://openreview.net/forum?id=HJMC_iA5tm},
researchr = {https://researchr.org/publication/SelsamLBLMD19},
cites = {0},
citedby = {0},
booktitle = {7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019},
publisher = {OpenReview.net},
}