Estimating the Number of Solutions for SAT Problems. - Colin R. Reeves; Mériéma Aupetit-Bélaidouni (PPSN, 2004)