Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman. From Sampling to Model Counting. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 2293-2299, 2007. [doi]
Abstract is missing.