Dimitris Achlioptas Paul Beame Michael Molloy Exponential bounds for DPLL below the satisfiability threshold. 139-140 2004 conf/soda/2004 SODA http://dl.acm.org/citation.cfm?id=982792.982810 db/conf/soda/soda2004.html#AchlioptasBM04