Network Migration Problem: A Hybrid Logic-Based Benders Decomposition Approach. - Maryam Daryalal; Hamed Pouya; Marc Antoine Desantis (INFORMS J. Comput., 2023)