k-Optimal: A novel approximate inference algorithm for ProbLog (bibtex)

@inproceedings{RenkensILP11,
  author = "Renkens, Joris and Van den Broeck, Guy and Nijssen, Siegfried",
  title = "k-{O}ptimal: {A} novel approximate inference algorithm for {P}rob{L}og",
  booktitle = "Preliminary Papers ILP",
  year = "2011",
  url="http://starai.cs.ucla.edu/papers/RenkensILP11.pdf",
  keywords   = {conference}
}