Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach.

Saeed Amizadeh, Sergiy Matusevych, Markus Weimer

Browse the full ICLR paper archive.