The following pages link to Zephyrus2 (Q5974820):
Displaying 4 items.
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking (Q2043801) (← links)
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description) (Q2104500) (← links)
- Core group placement: allocation and provisioning of heterogeneous resources (Q2294073) (← links)
- Estimating costs of multi-component enterprise applications (Q2322308) (← links)
