Con el objetivo de abordar el problema de recuperación de vuelos interrumpidos, este documento establece un modelo de programación entera mixta basado en el modelo de asignación de recursos para minimizar el costo de recuperación. Para tratar con ejemplos a gran escala, se diseña un algoritmo de descomposición de Benders basado en lógica para dividir el problema en un problema maestro y subproblemas. El algoritmo utiliza MIP en el problema maestro para determinar las cancelaciones de vuelos y los reemplazos de aeronaves. En los subproblemas, se utiliza MIP o CP para determinar el horario de salida de los vuelos retrasados. Posteriormente, se incorporan restricciones seccionales al problema principal e iteran hasta obtener una solución óptima. Además, se refuerzan las restricciones de plano de corte añadidas en las iteraciones del algoritmo de descomposición de Benders para eliminar más soluciones inferiores. Al comparar los resultados de CPLEX, el algoritmo de descomposición de Benders basado en lógica y el algoritmo de descomposición de Benders mejorado, se verifica que el algoritmo de descomposición de Benders mejorado puede resolver ejemplos a gran escala de manera más eficiente con un tiempo más rápido y menos iteraciones.