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