Solving #SAT and Bayesian inference with backtracking search. (2009)

by F Bacchus, S Dalmao, T Pitassi
Venue:Journal of Artificial Intelligence Research,