Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference

Wei Li, Pascal Poupart, Peter van Beek

Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an e…