Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas
scientific article; zbMATH DE number 5118122