Explanation-based approximate weighted model counting for probabilistic logics (bibtex)

@inproceedings{RenkensAAAI14,
  author = "Renkens, Joris and Kimmig, Angelika and Van den Broeck, Guy and De Raedt, Luc",
  title = "Explanation-based approximate weighted model counting for probabilistic logics",
  booktitle = "Proceedings of the 28th AAAI Conference on Artificial Intelligence, AAAI",
  location="Qu{\'e}bec City, Qu{\'e}bec, Canada",
  year = "2014",
  url = "http://starai.cs.ucla.edu/papers/RenkensAAAI14.pdf",
  keywords   = {conference,selective}
}