Carla P. Gomes, Ashish Sabharwal, Bart Selman. Model Counting. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 633-654, IOS Press, 2009. [doi]
Abstract is missing.