TY  - RPRT
TI  - Cost-Optimal Decision Diagrams for Stochastic Boolean Function Evaluation
AU  - Xia Zong
AU  - Tuomo Lehtonen
AU  - Jussi Rintanen
PY  - 2026
UR  - https://arxiv.org/abs/2606.24672
ID  - 2606.24672
ER  -