SMARTIMING: generación automática de horarios educativos
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.
Keywords: generación de horarios timetabling ALNS