Algorithms and Complexity Results for #SAT and Bayesian Inference. - Fahiem Bacchus; Shannon Dalmao; Toniann Pitassi (FOCS, 2003)

Value Elimination: Bayesian Interence via Backtracking Search. - Fahiem Bacchus; Shannon Dalmao; Toniann Pitassi (UAI, 2003)

DPLL with Caching: A new algorithm for #SAT and Bayesian Inference - Fahiem Bacchus; Shannon Dalmao; Toniann Pitassi (Electron. Colloquium Comput. Complex., 2003)

Solving #SAT and Bayesian Inference with Backtracking Search. - Fahiem Bacchus; Shannon Dalmao; Toniann Pitassi (J. Artif. Intell. Res., 2009)

Value Elimination: Bayesian Inference via Backtracking Search - Fahiem Bacchus; Shannon Dalmao; Toniann Pitassi (CoRR, 2012)