%0 Conference Paper %1 conf/iclr/AmizadehMW19 %A Amizadeh, Saeed %A Matusevych, Sergiy %A Weimer, Markus %B ICLR (Poster) %D 2019 %I OpenReview.net %K dblp %T Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach. %U http://dblp.uni-trier.de/db/conf/iclr/iclr2019.html#AmizadehMW19

@inproceedings{conf/iclr/AmizadehMW19, added-at = {2019-07-25T00:00:00.000+0200}, author = {Amizadeh, Saeed and Matusevych, Sergiy and Weimer, Markus}, biburl = {https://www.bibsonomy.org/bibtex/2fc83554a60de5821ad0b318f9b497380/dblp}, booktitle = {ICLR (Poster)}, crossref = {conf/iclr/2019}, ee = {https://openreview.net/forum?id=BJxgz2R9t7}, interhash = {b5ffefa6723c88cc0a8741b7d5ec34ba}, intrahash = {fc83554a60de5821ad0b318f9b497380}, keywords = {dblp}, publisher = {OpenReview.net}, timestamp = {2019-07-26T11:39:47.000+0200}, title = {Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach.}, url = {http://dblp.uni-trier.de/db/conf/iclr/iclr2019.html#AmizadehMW19}, year = 2019 }