Arithmetic Circuit Compilation Using Symbolic Probabilistic Inference and Indicator-Determined Buckets. - Cory J. Butz; Camilla E. Lewis; Alejandro Santoscoy-Rivero; Anders L. Madsen (ECSQARU, 2025)