Keyphrases
- stochastic local search
- constrained problems
- satisfiability problem
- phase transition
- randomly generated
- solving hard
- combinatorial optimisation
- max sat
- quadratic assignment problem
- sat instances
- sat problem
- computationally hard problems
- random sat instances
- propositional satisfiability
- tree search
- branch and bound algorithm
- orders of magnitude
- information retrieval systems
- neural network
- integer programming
- optimization problems
- upper bound
- knowledge representation
- lower bound