no code implementations • 18 Oct 2016 • 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.