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

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

Published in: CoRR (2020)

Keyphrases

weighted model counting
dynamic programming
probabilistic inference
bayesian inference
model counting
decision trees
graphical models
bayesian networks
state space
database design
join algorithms