Cory J. Butz, Camilla E. Lewis, Alejandro Santoscoy-Rivero, Anders L. Madsen. Arithmetic Circuit Compilation Using Symbolic Probabilistic Inference and Indicator-Determined Buckets. In Kai Sauerwald, Matthias Thimm, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings. Volume 16099 of Lecture Notes in Computer Science, pages 191-204, Springer, 2025. [doi]
@inproceedings{ButzLSM25,
title = {Arithmetic Circuit Compilation Using Symbolic Probabilistic Inference and Indicator-Determined Buckets},
author = {Cory J. Butz and Camilla E. Lewis and Alejandro Santoscoy-Rivero and Anders L. Madsen},
year = {2025},
doi = {10.1007/978-3-032-05134-9_14},
url = {https://doi.org/10.1007/978-3-032-05134-9_14},
researchr = {https://researchr.org/publication/ButzLSM25},
cites = {0},
citedby = {0},
pages = {191-204},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings},
editor = {Kai Sauerwald and Matthias Thimm},
volume = {16099},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-032-05134-9},
}