Symbolic Constraint Handling Through Unification in Finite Algebras.
Wolfram BüttnerKlaus EstenfeldRichard SchmidHans-Albert SchneiderErik TidénPublished in: Appl. Algebra Eng. Commun. Comput. (1990)
Keyphrases
- constraint handling
- constrained optimization
- constrained optimization problems
- particle swarm optimization
- equational theories
- genetic algorithm
- evolution strategy
- penalty function
- evolutionary optimization
- optimal design
- differential evolution
- function symbols
- particle swarm optimization pso
- evolutionary strategy
- evolutionary algorithm
- global optimization
- theorem proving
- neural network
- optimization problems
- search engine
- objective function
- premature convergence
- symbolic representation
- theorem prover
- hybrid algorithm
- global convergence
- pso algorithm
- genetic algorithm ga
- fitness function
- metaheuristic
- computational intelligence