[1905.12149] SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver (2019)
Tags:
About This Document
File info