"Estimating the Number of Solutions for SAT Problems."

Colin R. Reeves, Mériéma Aupetit-Bélaidouni (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics