Rémi Monasson A Generating Function Method for the Average-Case Analysis of DPLL. 402-413 2005 conf/approx/2005 APPROX-RANDOM http://dx.doi.org/10.1007/11538462_34 db/conf/approx/approx2005.html#Monasson05