H. Thomas, C. E. Cormen, R. L. Leiserson, C. Rivest, and . Stein, Introduction to Algorithms (3, 2009.

R. D. , C. , M. Lienhardt, R. Treinen, S. Zacchiroli et al., Automated synthesis and deployment of cloud applications, ASE, 2014.

D. Cosmo, J. Mauro, S. Zacchiroli, and G. Zavattaro, Aeolus: A component model for the cloud, Information and Computation, vol.239, pp.100-121, 2014.
DOI : 10.1016/j.ic.2014.11.002
URL : https://hal.archives-ouvertes.fr/hal-01091062

D. Cosmo, J. Mauro, S. Zacchiroli, and G. Zavattaro, Component Reconfiguration in the Presence of Conflicts, ICALP 2013: 40th International Colloquium on Automata, Languages and Programming, 2013.
DOI : 10.1007/978-3-642-39212-2_19
URL : https://hal.archives-ouvertes.fr/hal-00909336

R. D. , C. , S. Zacchiroli, and G. Zavattaro, Towards a Formal Component Model for the Cloud, SEFM 2012, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909369

I. Feinerer, Abstract, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, vol.12, issue.01, pp.37-49, 2013.
DOI : 10.1017/S0890060410000612

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: a deployment management system, PLDI, 2012. 10 Flexiant. Bento Boxes

J. A. Hewson, P. Anderson, and A. D. Gordon, A Declarative Approach to Automated Configuration, 2012.

T. A. Lascu, J. Mauro, and G. Zavattaro, A Planning Tool Supporting the Deployment of Cloud Applications, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 2013.
DOI : 10.1109/ICTAI.2013.41
URL : https://hal.archives-ouvertes.fr/hal-00843925

T. A. Lascu, J. Mauro, and G. Zavattaro, Automatic Component Deployment in the Presence of Circular Dependencies, FACS, 2013.
DOI : 10.1007/978-3-319-07602-7_16
URL : https://hal.archives-ouvertes.fr/hal-00909300

A. K. Mackworth, Consistency in networks of relations, Consistency in Networks of Relations, pp.99-118, 1977.
DOI : 10.1016/0004-3702(77)90007-8

C. H. Papadimitriou, On the complexity of integer programming, Journal of the ACM, vol.28, issue.4, pp.765-768, 1981.
DOI : 10.1145/322276.322287

J. P. Vielma and G. L. Nemhauser, Modeling disjunctive constraints with a logarithmic number of binary variables and constraints, Mathematical Programming, vol.15, issue.1-2, pp.49-72, 2011.
DOI : 10.1007/s10107-009-0295-4