Saeed Amizadeh, Sergiy Matusevych, Markus Weimer. Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach. In 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019. OpenReview.net, 2019. [doi]
@inproceedings{AmizadehMW19,
title = {Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach},
author = {Saeed Amizadeh and Sergiy Matusevych and Markus Weimer},
year = {2019},
url = {https://openreview.net/forum?id=BJxgz2R9t7},
researchr = {https://researchr.org/publication/AmizadehMW19},
cites = {0},
citedby = {0},
booktitle = {7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019},
publisher = {OpenReview.net},
}