Zephyrus2

swMATH43912MaRDI QIDQ5974820FDOQ5974820

Author name not available (Why is that?)

Cited In (4)

• Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
• Estimating costs of multi-component enterprise applications
• Core group placement: allocation and provisioning of heterogeneous resources
• Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)

This page was built for software: Zephyrus2