Amin Coja-Oghlan Andreas Goerdt André Lanka Strong Refutation Heuristics for Random k-SAT. 5-28 2007 16 Combinatorics, Probability & Computing 1 http://dx.doi.org/10.1017/S096354830600784X db/journals/cpc/cpc16.html#Coja-OghlanGL07