J. Dudek, V. Phan, and M. Vardi, “ADDMC: Weighted Model Counting with Algebraic Decision Diagrams”, AAAI, vol. 34, no. 02, pp. 1468-1476, Apr. 2020.