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
