Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold - Dimitris Achlioptas; Cristopher Moore (2003)