Abstract: Migrating enterprise IT services to the cloud is becoming a trend. However, configuring virtual networks in the cloud is a costly and error-prone task. In this paper, we model the problem of ...