News for hackers. Stuff that matters.

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

Re:SATNet: Bridging deep learning and logical reasoning with... by Loq on Tuesday June 04, 2019 @03:35AM (#20092754)
ILP usually translates to SAT. You can see ILP as a high-level interface to SAT.
[ Parent | on HN ]
Re:SATNet: Bridging deep learning and logical reasoning with... by YeGoblynQueenne on Tuesday June 04, 2019 @07:56PM (#20100334)
I think you mean ILP as in Integer Linear Progamming. The quote above mentioned δILP which is "differentiable Inductive Logic Programming".
[ Parent | on HN ]
Re:SATNet: Bridging deep learning and logical reasoning with... by Loq on Thursday June 06, 2019 @03:59PM (#20118475)
No.

I meant was ASP is a higher level 'interface' to SAT, sorry for the confusion. Work done at Imperial by Law and Evans in ILP compiles down to SAT solving via ASP. IDK if δILP goes to SAT.

[ Parent | on HN ]