On funnel depths and acceptance criteria in stochastic local search.

Sarah L. Thomson Gabriela Ochoa

Published in: GECCO (2022)

Keyphrases

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