Equality saturation: a new approach to optimization.

Ross Tate Michael Stepp Zachary Tatlock Sorin Lerner

Published in: POPL (2009)

Keyphrases

global optimization
optimization problems
optimization algorithm
optimization process
real world
machine learning
multi agent
search space
constrained optimization
optimization strategies