Parameterized complexity of DPLL search procedures