Symbolic optimization with SMT solvers.

Yi Li Aws Albarghouthi Zachary Kincaid Arie Gurfinkel Marsha Chechik

Published in: POPL (2014)

Keyphrases

global optimization
machine learning
database
real time
information retrieval
linear programming
optimization model
modulo theories