Integrate logic and deep learning with #SATNet, a differentiable SAT solver! #icml2019

Paper: https://arxiv.org/abs/1905.12149
Code: https://github.com/locuslab/SATNet