Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach
Geometric deep learning: going beyond Euclidean data