Login / Signup
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