Search Results for author:
Found 1 papers, 0 papers with code
Solving #SAT and Bayesian Inference with Backtracking Search
Furthermore, backtracking's ability to utilize more flexible variable orderings allows us to prove that it can achieve an exponential speedup over other standard algorithms for SUMPROD on some instances.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
