Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.

Lukas Kroc, Bart Selman, Ashish Sabharwal

Browse the full ISAIM paper archive.