[ERASCU2021100664]
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
Journal of Logical and Algebraic Methods in Programming, 100664,
2021