Analisi e Valutazione di Algoritmi ed Euristiche per il Timetabling Universitario

Il presente elaborato intende descrivere il problema del timetabling universitario, analizzando e valutando le prestazioni delle soluzioni trovate con alcuni dei principali algoritmi ipereuristici, appoggiandosi ai prodotti software UP e UP-engine di proprietà Cineca. Si descrive in modo approfondito la libreria CP-Solver, di cui fa uso UP-engine, nella quale sono implementanti molti degli algoritmi tipici della calendarizzazione degli eventi universitari. Si valuta la bontà del framework considerato tramite test effettuati su otto dipartimenti dell'università di Urbino e di Torino, modificando parametri e algoritmi. Inoltre, si attuano strategie volte ad ottimizzare le soluzioni finali, quali perturbazione della soluzione e/o esecuzioni ripetute del solver. Infine, si descrivono nel dettaglio tutti i parametri del CP-Solver, in modo da dare all'utente una guida utile alla configurazione del risolutore sia sulla base del tipo di soluzioni che vuole ottenere che dei dati di input del problema.