Return to Article Details Solving #SAT and Bayesian Inference with Backtracking Search Download Download PDF