Describir: Diseño robusto de red overlay mediante heurísticas y codificación de modelo exacto