Parameterized Complexity of DPLL Search Procedures