Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach
Learning Combinatorial Optimization Algorithms over Graphs