Giso H. Dal

Weighted Positive Binary Decision Diagrams for Exact Probabilistic Inference

2016 · arXiv (Cornell University)

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 into a Boolean normal form and compiled to a target …