On the Effect of Learned Clauses on Stochastic Local Search

Jan-Hendrik Lorenz, Florian Wörz

There are two competing paradigms in successful SAT solvers: Conflict-driven clause learning (CDCL) and stochastic local search (SLS). CDCL uses systematic exploration of the searc…