Arithmetic Circuit Compilation Using Symbolic Probabilistic Inference and Indicator-Determined Buckets

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]

Authors

Cory J. Butz

This author has not been identified. Look up 'Cory J. Butz' in Google

Camilla E. Lewis

This author has not been identified. Look up 'Camilla E. Lewis' in Google

Alejandro Santoscoy-Rivero

This author has not been identified. Look up 'Alejandro Santoscoy-Rivero' in Google

Anders L. Madsen

This author has not been identified. Look up 'Anders L. Madsen' in Google