Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas.

Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson

Browse the full ICALP paper archive.