Conditioning in first-order knowledge compilation and lifted probabilistic inference (bibtex)

@inproceedings{VdBAAAI12,
  author = "Van den Broeck, Guy and Davis, Jesse",
  title = "Conditioning in first-order knowledge compilation and lifted probabilistic inference",
  booktitle = "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, ",
  editor = "Hoffmann, Joerg and Selman, Bart",
  publisher = "AAAI Press",
  year = "2012",
  url="http://starai.cs.ucla.edu/papers/VdBAAAI12.pdf",
  code = "https://github.com/UCLA-StarAI/Forclift",
  keywords   = {conference,selective}
}