Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking.
Madalina ErascuFlavia MicotaDaniela ZahariePublished in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
- mathematical programming
- symmetry breaking
- linear programming
- optimization approaches
- combinatorial optimization
- dynamic programming
- robust optimization
- constraint programming
- mixed integer linear
- linear program
- global constraints
- neural network
- orders of magnitude
- optimization algorithm
- constraint satisfaction problems
- combinatorial problems
- tree search
- particle swarm optimization
- optimization problems
- data structure