Drias, H.; Bensalma, A. On the Average Number of Solutions for SAT Instances. Comput. Inform. 2012, 16, 295-307.