Lukas Kroc, Ashish Sabharwal, Bart Selman. Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. In Laurent Perron, Michael A. Trick, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings. Volume 5015 of Lecture Notes in Computer Science, pages 127-141, Springer, 2008. [doi]
Abstract is missing.