20 citations · 20 across the 1 of their papers we have counts for
1 paper
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…