An Improved Generic Bet-and-Run Strategy for Speeding Up Stochastic Local Search.

Thomas Weise Zijun Wu Markus Wagner

Published in: CoRR (2018)

Keyphrases

stochastic local search
satisfiability problem
solving hard
phase transition
combinatorial optimisation
randomly generated
sat instances
quadratic assignment problem
max sat
random sat instances
search algorithm
upper bound
computationally hard problems