Lefteris M. Kirousis Evangelos Kranakis Danny Krizanc Approximating the Unsatisfiability Threshold of Random Formulas (Extended Abstract). 27-38 1996 conf/esa/1996 ESA db/conf/esa/esa96.html#KirousisKK96 http://dx.doi.org/10.1007/3-540-61680-2_44