Solving the TTC 2011 Compiler Optimization Case with GROOVE

Arend Rensink Eduardo Zambon

Published in: TTC (2011)

Keyphrases

combinatorial optimization
optimization problems
nonlinear programming
discrete optimization
general purpose
quadratic program
optimization algorithm
optimization process
evolution strategy
database systems
evolutionary algorithm
source code
software systems
global optimization