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

Lukas Kroc, Ashish Sabharwal, Bart Selman

Browse the full CPAIOR paper archive.