Meta-Evolutionary Algorithms and recombination operators for satisfiability solving in fuzzy logics.
Tim BrysMadalina M. DruganAnn NowéPublished in: IEEE Congress on Evolutionary Computation (2013)
Keyphrases
- evolutionary algorithm
- crossover operator
- differential evolution
- multi objective
- fuzzy controller
- optimization problems
- fuzzy logic
- search heuristics
- evolutionary computation
- fitness function
- fuzzy sets
- differential evolution algorithm
- genetic programming
- simulated annealing
- computational properties
- satisfiability problem
- genetic algorithm
- expressive power
- computational complexity
- membership functions
- multi objective optimization
- stochastic local search
- evolution strategy
- decision procedures
- fuzzy clustering
- fuzzy rules
- combinatorial optimization
- building blocks
- davis putnam logemann loveland
- sat solving
- neural network
- particle swarm optimization
- aggregation operators
- fuzzy set theory
- np complete
- fuzzy numbers
- genetic algorithm ga
- first order logic