A comparison of stochastic local search and population based search.
Heinz MühlenbeinThilo MahnigPublished in: IEEE Congress on Evolutionary Computation (2002)
Keyphrases
- stochastic local search
- satisfiability problem
- search algorithm
- max sat
- randomly generated
- solving hard
- phase transition
- combinatorial optimisation
- search methods
- search strategy
- upper bound
- monte carlo
- search strategies
- search space
- search procedure
- tree search
- sat instances
- information retrieval
- random sat instances