GSAT versus Simulated Annealing.
Antje BeeringerGerd AschemannHolger H. HoosMichael MetzgerAndreas WeissPublished in: ECAI (1994)
Keyphrases
- simulated annealing
- satisfiability problem
- randomly generated
- tabu search
- search procedure
- hill climbing
- evolutionary algorithm
- metaheuristic
- simulated annealing algorithm
- phase transition
- genetic algorithm
- stochastic local search
- constraint satisfaction
- max sat
- solution space
- sat problem
- solution quality
- optimization methods
- genetic algorithm ga
- optimization method
- davis putnam
- propositional satisfiability
- stochastic search
- hybrid algorithm
- tabu list
- optimization problems
- special case
- search methods
- combinatorial optimization
- reversible jump mcmc
- sat instances
- boolean functions
- branch and bound algorithm
- cellular automata
- constraint satisfaction problems
- linear programming
- learning algorithm