Zephyrus2
From MaRDI portal
Software:5974820
No author found.
Related Items (4)
Core group placement: allocation and provisioning of heterogeneous resources ⋮ 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 ⋮ Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
This page was built for software: Zephyrus2
