NN / Symbolic AI hybridation AND Constraint Satisfaction Problem
Common descendants
1 Document
[1905.12149] SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Tags:
2019-05-31 About