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