Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions.

Roberto Sebastiani Patrick Trentin

Published in: CoRR (2014)

Keyphrases

cost function
optimization problems
combinatorial optimization
high level
machine learning
evolutionary algorithm
simulated annealing
linear programming
linear constraints