H. Drias and A. Bensalma, “On the Average Number of Solutions for SAT Instances”, Comput. Inform., vol. 16, no. 3, pp. 295–307, Mar. 2012.