TY  - RPRT
TI  - DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
AU  - Jeffrey M. Dudek
AU  - Vu H. N. Phan
AU  - Moshe Y. Vardi
PY  - 2020
UR  - https://arxiv.org/abs/2008.08748
ID  - 2008.08748
ER  -