Solving #SAT and Bayesian Inference with Backtracking Search