182 citations · 670 across the 41 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2014★ 30 cited
Solving #SAT and Bayesian Inference with Backtracking Search
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
Inference in Bayes Nets (BAYES) is an important problem with numerous applications in probabilistic reasoning. Counting the number of satisfying assignments of a propositional form…
cs.AI2012★ 59 cited
Value Elimination: Bayesian Inference via Backtracking Search
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
Backtracking search is a powerful algorithmic paradigm that can be used to solve many problems. It is in a certain sense the dual of variable elimination; but on many problems, e.g…