Solving #SAT and Bayesian Inference with Backtracking Search.

Fahiem Bacchus Shannon Dalmao Toniann Pitassi Solving #SAT and Bayesian Inference with Backtracking Search. 391-442 2009 34 J. Artif. Intell. Res. (JAIR) http://jair.org/papers/paper2648.html db/journals/jair/jair34.html#BacchusDP09