%0 Journal Article %1 journals/corr/abs-1802-03685 %A Selsam, Daniel %A Lamm, Matthew %A Bünz, Benedikt %A Liang, Percy %A de Moura, Leonardo %A Dill, David L. %D 2018 %J CoRR %K dblp %T Learning a SAT Solver from Single-Bit Supervision. %U http://dblp.uni-trier.de/db/journals/corr/corr1802.html#abs-1802-03685 %V abs/1802.03685

@article{journals/corr/abs-1802-03685, added-at = {2022-09-29T00:00:00.000+0200}, author = {Selsam, Daniel and Lamm, Matthew and Bünz, Benedikt and Liang, Percy and de Moura, Leonardo and Dill, David L.}, biburl = {https://www.bibsonomy.org/bibtex/26ea42c84119568cbf38604f5ed4d84a8/dblp}, ee = {http://arxiv.org/abs/1802.03685}, interhash = {1e71a4e7d45b40d5a654c5906bfb9f25}, intrahash = {6ea42c84119568cbf38604f5ed4d84a8}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:57:59.000+0200}, title = {Learning a SAT Solver from Single-Bit Supervision.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1802.html#abs-1802-03685}, volume = {abs/1802.03685}, year = 2018 }