DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees.

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

Browse the full CP paper archive.