Juice: A Julia Package for Logic and Probabilistic Circuits (bibtex)

@inproceedings{DangAAAI21,
    title   = {Juice: A Julia Package for Logic and Probabilistic Circuits},
    author = {Dang, Meihua and Khosravi, Pasha and Liang, Yitao and Vergari, Antonio and Van den Broeck, Guy},
    booktitle = {Proceedings of the 35th AAAI Conference on Artificial Intelligence (Demo Track)},
    month   = 2,
    year    = {2021},
    url     = "http://starai.cs.ucla.edu/papers/DangAAAI21.pdf",
    code = "https://github.com/Juice-jl",
    keywords  = {conference}
}