A Tabu search approach for a virtual networks splitting strategy across multiple cloud providers