TY  - RPRT
TI  - ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
AU  - Jeffrey M. Dudek
AU  - Vu H. N. Phan
AU  - Moshe Y. Vardi
PY  - 2020
UR  - https://arxiv.org/abs/1907.05000
ID  - 1907.05000
ER  -