Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing.
Marcos VillagraBenjamín BaránPublished in: WoLLIC (2007)
Keyphrases
- ant colony optimization
- fitness function
- genetic algorithm
- satisfiability testing
- metaheuristic
- genetic programming
- genetic algorithm ga
- evolutionary algorithm
- swarm intelligence
- ant colony
- evolutionary computation
- evolutionary strategy
- combinatorial optimization problems
- particle swarm optimization
- ant colony optimization algorithm
- traveling salesman problem
- simulated annealing
- aco algorithms
- search space
- nature inspired
- aco algorithm
- particle swarm
- ant colonies
- particle swarm optimization pso
- propositional logic
- genetic operators
- ant colony algorithm
- multi objective
- crossover operator
- hybrid algorithm
- optimization problems
- fuzzy logic
- constrained optimization problems
- tabu search
- artificial intelligence
- bi objective
- neural network
- initial population
- differential evolution
- artificial ants
- global search
- optimization method
- particle swarm optimisation
- nsga ii
- machine learning