Symbolic Exact Inference for Discrete Probabilistic Programs (bibtex)

@inproceedings{HoltzenTPM19,
  author    = {Holtzen, Steven and Millstein, Todd and Van den Broeck, Guy},
  title     = {Symbolic Exact Inference for Discrete Probabilistic Programs},
  booktitle = {Proceedings of the ICML Workshop on Tractable Probabilistic Modeling (TPM)},
  month     = 6,
  year      = {2019},
  url       = "http://starai.cs.ucla.edu/papers/HoltzenTPM19.pdf",
  keywords  = {workshop}
}