Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach
Geometric Deep Learning on Graphs and Manifolds Using Mixture Model CNNs