Lukas Kroc, Bart Selman, Ashish Sabharwal. Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, Florida, USA, January 2-4, 2008. 2008. [doi]
Abstract is missing.