Scalable Optimal Deployment in the Cloud of Component-based Applications using Optimization Modulo Theory, Mathematical Programming and Symmetry Breaking.
Madalina ErascuFlavia MicotaDaniela ZahariePublished in: CoRR (2020)
Keyphrases
- mathematical programming
- symmetry breaking
- linear programming
- optimization approaches
- combinatorial optimization
- robust optimization
- mixed integer linear
- dynamic programming
- stationary points
- linear program
- tree search
- constraint programming
- computational complexity
- worst case
- search tree
- simulated annealing
- lower bound