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

Open in new window