Differentiable SAT/ASP

Matthias Nickles. Differentiable SAT/ASP. In Elena Bellodi, Tom Schrijvers, editors, Proceedings of the 5th International Workshop on Probabilistic Logic Programming, PLP 2018, co-located with the 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy, September 1, 2018. Volume 2219 of CEUR Workshop Proceedings, pages 62-74, CEUR-WS.org, 2018. [doi]

Abstract

Abstract is missing.