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]
Abstract is missing.