On the Effect of Learned Clauses on Stochastic Local Search

Open in new window