2 ms·
ILP usually translates to SAT. You can see ILP as a high-level interface to SAT.
by Loq 7y ago
ILP usually translates to SAT. You can see ILP as a high-level interface to SAT.
- YeGoblynQueenne 7y agoI think you mean ILP as in Integer Linear Progamming. The quote above mentioned δILP which is "differentiable Inductive Logic Programming".
- Loq 7y agoNo. 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.