Dudek, J.; Phan, V.; Vardi, M. ADDMC: Weighted Model Counting With Algebraic Decision Diagrams. AAAI 2020, 34, 1468-1476.