SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver

Po-Wei Wang, Priya Donti, Bryan Wilder, and Zico Kolter. ICML 2019. (Poster PDF · Paper)