A New Perspective on Stochastic Local Search and the Lovasz Local Lemma.
Dimitris AchlioptasFotis IliopoulosAlistair SinclairPublished in: CoRR (2018)
Keyphrases
- stochastic local search
- satisfiability problem
- combinatorial optimisation
- phase transition
- solving hard
- max sat
- randomly generated
- information retrieval
- quadratic assignment problem
- sat instances
- computationally hard problems
- neural network
- sat problem
- constraint satisfaction
- special case
- search algorithm
- random sat instances
- genetic algorithm