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

Erika brahm, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro

Browse the full SETTA paper archive.