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]
Abstract is missing.