Colin R. Reeves, Mériéma Aupetit-Bélaidouni. Estimating the Number of Solutions for SAT Problems. In Xin Yao, Edmund K. Burke, José Antonio Lozano, Jim Smith, Juan J. Merelo Guervós, John A. Bullinaria, Jonathan E. Rowe, Peter Tiño, Ata Kabán, Hans-Paul Schwefel, editors, Parallel Problem Solving from Nature - PPSN VIII, 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings. Volume 3242 of Lecture Notes in Computer Science, pages 101-110, Springer, 2004. [doi]
Abstract is missing.