DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees - Citation Graph | Papersgraph