77 citations · 732 across the 55 of their papers we have counts for
1 paper · 2 filters
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…