Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Lukas Kroc' in GoogleThis author has not been identified. Look up 'Ashish Sabharwal' in GoogleThis author has not been identified. Look up 'Bart Selman' in Google

runs on WebDSL