Weighted Positive Binary Decision Diagrams for Exact Probabilistic Inference

Giso H. Dal, Peter J. F. Lucas

Recent work on weighted model counting has been very successfully applied to the problem of probabilistic inference in Bayesian networks. The probability distribution is encoded in…