Keyphrases
- stochastic local search
- satisfiability problem
- combinatorial optimisation
- phase transition
- solving hard
- randomly generated
- random sat instances
- max sat
- quadratic assignment problem
- sat problem
- tree search
- sat instances
- computationally hard problems
- utility function
- np complete
- cost function
- search space
- information retrieval