On the Average Number of Solutions for SAT Instances. - Habiba Drias; A. Bensalma (Comput. Artif. Intell., 1997)