2019
Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach
ICLR 2019poster
Recent efforts to combine Representation Learning with Formal Methods, commonly known as the Neuro-Symbolic Methods, have given rise to a new trend of applying rich neural architectures to solve classical combinatorial optimization problems. In this paper, we propose a neural framework that can lear…