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

Michael Alekhnovich Edward A. Hirsch Dmitry Itsykson Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas. 51-72 2005 35 J. Autom. Reasoning 1-3 http://dx.doi.org/10.1007/s10817-005-9006-x db/journals/jar/jar35.html#AlekhnovichHI05