Zephyrus2

MaRDI QIDQ5974820swMATHFDO

Official website https://ebjohnsen.org/publication/16-setta/16-setta.pdf

Cited in

(10)

• Algorithm 864
• libpoly
• CloudGenius
• Lucene
• Solr
• KeY-ABS
• 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