Amin Coja-Oghlan Andreas Goerdt André Lanka Strong Refutation Heuristics for Random k-SAT. 310-321 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3122&spage=310 2004 conf/approx/2004 APPROX-RANDOM db/conf/approx/approx2004.html#Coja-OghlanGL04