k-Optimal: A Novel Approximate Inference Algorithm for ProbLog.

Joris Renkens, Guy Van den Broeck, Siegfried Nijssen

Browse the full ILP paper archive.