SMARTIMING: generación automática de horarios educativos

I. Méndez Fernández, A. García Hernández-Díaz, R. Gordaliza Ruiz, S. Pérez Peló, J. Sánchez-Oro Calvo

SMARTIMING es un sistema orientado a la generación de horarios educativos. El problema aborda múltiples restricciones duras, como la necesidad de asignar todas las actividades o la obligación de respetar las preferencias horarias de los docentes. Su objetivo principal es minimizar los tiempos libres que tienen los docentes tienen a lo largo de su jornada lectiva.
Para su resolución, se ha diseñado un algoritmo híbrido que combina un método constructivo basado en el solver CP-SAt de OR-Tools con una metaheurística ALNS para la fase de mejora. Esta integra operadores de destrucción, reconstrucción y búsqueda local, lo que permite explorar de forma eficiente el espacio de soluciones. De este modo se obtienen horarios factibles y, al mismo tiempo, se mejora su calidad de acuerdo al objetivo considerado.

Palabras clave: generación de horarios, timetabling, ALNS

Heurísticas y Metaheurísticas
2 de septiembre de 2026  12:40
Aula 21

F. Huguet, L. M. Plà-Aragonés, V. Albornoz, M. Pohl

M. Villaizán Vallelado, J. C. Yepes Borrero, M. López-García, J. Alcaraz

P. Terán Viadero, M. A. Carravilla, J. F. Oliveira, F. J. Martín Campo, A. Alonso Ayuso