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

Presentation of CP2020 paper "DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees" by Jeffrey M. Dudek, Vu H. N. Phan and Moshe Y. Vardi

Видео CP2020 DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees автора Pop Culture Passion