A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem.

Adrian Balint, Michael Henn, Oliver Gableske

Browse the full SAT paper archive.