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

Publication
Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings