A SAT-based fitness function for evolutionary optimization of polymorphic circuits.
Lukás SekaninaZdenek VasícekPublished in: DATE (2012)
Keyphrases
- evolutionary optimization
- fitness function
- genetic algorithm
- multi objective
- evolutionary algorithm
- genetic programming
- genetic algorithm ga
- evolutionary computation
- answer set programming
- bounded model checking
- genetic operators
- sat solvers
- evolutionary process
- crossover and mutation
- particle swarm optimisation
- evolutionary search
- mutation operator
- optimization algorithm
- fuzzy modeling
- ai planning
- crossover operator
- particle swarm optimization
- simulated annealing
- multi objective optimization
- search space
- initial population
- mutation rate
- fitness evaluation
- binary particle swarm optimization
- genetic algorithm is employed
- evolution strategy
- artificial neural networks
- constrained optimization problems
- penalty function
- cluster analysis
- differential evolution
- metaheuristic
- search algorithm