Publication [AbrahamCJKM16] Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies Ábrahám, E.; Corzilius, F.; Johnsen, E. B.; Kremer, G. and Mauro, J. In SETTA, pages 229-245, LNCS 9984, 2016.Downloads: bib
