Redirecting to DPLL algorithm