TY  - RPRT
TI  - Solving #SAT and Bayesian Inference with Backtracking Search
AU  - Fahiem Bacchus
AU  - Shannon Dalmao
AU  - Toniann Pitassi
PY  - 2014
DO  - 10.1613/jair.2648
UR  - https://arxiv.org/abs/1401.3458
ID  - 1401.3458
ER  -