A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem. - Adrian Balint; Michael Henn; Oliver Gableske (SAT, 2009)