Maximum Satisfiability: Anatomy of the Fitness Landscape for a Hard Combinatorial Optimization Problem.
Adam Prügel-BennettMohammad-Hassan Tayarani-NajaranPublished in: IEEE Trans. Evol. Comput. (2012)
Keyphrases
- combinatorial optimization
- fitness landscape
- maximum satisfiability
- combinatorial problems
- evolutionary algorithm
- branch and bound algorithm
- boolean satisfiability
- simulated annealing
- optimization problems
- metaheuristic
- max sat
- traveling salesman problem
- branch and bound
- combinatorial optimization problems
- evolutionary computation
- search space
- genetic algorithm
- particle swarm optimizer
- vehicle routing problem
- randomly generated
- evolutionary search
- population size
- wider range
- neural network
- sat solvers
- computational intelligence
- multi objective
- linear programming
- sat problem
- job shop scheduling problem
- orders of magnitude
- crossover and mutation
- tabu search
- probabilistic planning