News for hackers. Stuff that matters.

A comment on SATNet: Bridging deep learning and logical reasoning with differentiable SAT.

Re:SATNet: Bridging deep learning and logical reasoning with... by donpark on Tuesday June 04, 2019 @12:43AM (#20091956)
code: https://github.com/locuslab/satnet
[ Parent | on HN ]

There are no comments on this comment yet.