Focused Stochastic Local Search and the Lovász Local Lemma.
Dimitris AchlioptasFotis IliopoulosPublished in: CoRR (2015)
Keyphrases
- stochastic local search
- satisfiability problem
- solving hard
- combinatorial optimisation
- randomly generated
- phase transition
- quadratic assignment problem
- random sat instances
- sat problem
- computationally hard problems
- max sat
- cost function
- sat instances
- temporal logic
- description logics
- lower bound
- objective function
- neural network