Keyphrases
- simulated annealing
- simulated annealing algorithm
- metaheuristic
- evolutionary algorithm
- tabu search
- genetic algorithm
- global minimum
- solution quality
- global minimization
- hill climbing
- optimization methods
- genetic algorithm ga
- logic programming
- modal logic
- combinatorial optimization
- stochastic search
- particle swarm optimization pso
- data sets
- automated reasoning
- multi valued
- objective function
- logical framework
- formal theory
- sound and complete axiomatization
- global optimum
- abductive reasoning
- case study