Optimization of Equational Specifications Using Genetic Techniques.
Aitor IbarraJosé M. MendíasJuan LancharesJosé Ignacio HidalgoRomán HermidaPublished in: DSD (2002)
Keyphrases
- optimization problems
- genetic algorithm
- joint optimization
- evolution strategy
- global optimization
- theorem proving
- high level
- optimization algorithm
- human genome
- optimization method
- optimization procedure
- theorem prover
- high throughput
- discrete optimization
- operational semantics
- constrained optimization
- optimization process
- real time
- combinatorial optimization
- test cases
- machine learning
- real world
- databases