Focused Stochastic Local Search and the Lovász Local Lemma.

Dimitris Achlioptas Fotis Iliopoulos

Published in: SODA (2016)

Keyphrases

stochastic local search
satisfiability problem
combinatorial optimisation
phase transition
randomly generated
max sat
solving hard
random sat instances
np complete
quadratic assignment problem
tree search
np hard
model checking