Exponential bounds for DPLL below the satisfiability threshold.

Dimitris Achlioptas, Paul Beame, Michael Molloy

Browse the full SODA paper archive.