SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver 1905.12149 2019-05-29 이 페이지의 평가 1건 Accuracy: 98.3