Drias, H. and Bensalma, A. 2012. On the Average Number of Solutions for SAT Instances. Computing and Informatics. 16, 3 (Mar. 2012), 295–307.