Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies

Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro
January, 2016
PDF Cite DOI URL
Type
Conference paper
Publication
Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings