On the Effect of Learned Clauses on Stochastic Local Search.

Jan-Hendrik Lorenz Florian Wörz

Published in: SAT (2020)

Keyphrases

stochastic local search
random sat instances
satisfiability problem
phase transition
combinatorial optimisation
search space
solving hard
randomly generated
max sat
tree search
computationally hard problems
sat problem
optimal solution
data structure
branch and bound algorithm