Equality Saturation: A New Approach to Optimization

Ross Tate Michael Stepp Zachary Tatlock Sorin Lerner

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

optimization problems
information systems
optimization method
global optimization
optimization methods
joint optimization
data mining
optimization algorithm
data sets
machine learning
image processing
relational databases
multi objective
optimization process
discrete optimization