Optimización de la asignación de tareas de mantenimiento de aeronaves utilizando programación lineal de enteros mixtos | Synapse