A Local Branching MIP Heuristic for a Real-World Curriculum-Based Course Timetabling Problem

Automated timetabling is a challenging area in the timetabling and scheduling theory and practice, intensively addressed in research papers in the last two decades. There are three main classes of problems, which are usually studied: school timetabling, course timetabling and examination timetabling. In this report, we address a case study of the Curriculum-Based Course Timetabling (CB-CTT) problem, arising at Engineering Department of Sannio University. In general, the problem consists of finding a feasible weekly assignment of course lectures to rooms and time periods while respecting a wide range of constraints, which have to be either strictly satisfied (hard constraints) or satisfied as much as possible (soft constraints). The case study here addressed here has many special requirements due to local organizational rules. We were able to model the complex requirements by an Integer Programming formulation. The solution approach consists of using an MIP solver, integrated with two local branching heuristics tailored for the problem. The effectiveness of the proposed approach is illustrated by the computational results on two real instances.

[1]  Matthias Ehrgott,et al.  Integer programming methods for large-scale practical classroom assignment problems , 2015, Comput. Oper. Res..

[2]  Maurizio Boccia,et al.  Polyhedral study of simple plant location problem with order , 2013, Oper. Res. Lett..

[3]  Edmund K. Burke,et al.  Decomposition, reformulation, and diving in university course timetabling , 2009, Comput. Oper. Res..

[4]  Carlo Mannino,et al.  Time-Indexed Formulations for the Runway Scheduling Problem , 2017, Transp. Sci..

[5]  Martin Josef Geiger,et al.  Applying the threshold accepting metaheuristic to curriculum based course timetabling , 2012, Ann. Oper. Res..

[6]  Paolo Toth,et al.  A new lower bound for curriculum-based course timetabling , 2013, Comput. Oper. Res..

[7]  Richard F. Hartl,et al.  Adaptive large neighborhood search for the curriculum-based course timetabling problem , 2016, Annals of Operations Research.

[8]  Thomas R. Stidsen,et al.  A strategic view of University timetabling , 2018, Eur. J. Oper. Res..

[9]  Ben Paechter,et al.  Setting the Research Agenda in Automated Timetabling: The Second International Timetabling Competition , 2010, INFORMS J. Comput..

[10]  Edmund K. Burke,et al.  Automated University Timetabling: The State of the Art , 1997, Comput. J..

[11]  Jin-Kao Hao,et al.  Lower bounds for the ITC-2007 curriculum-based course timetabling problem , 2011, Eur. J. Oper. Res..

[12]  Andrea Schaerf,et al.  A Survey of Automated Timetabling , 1999, Artificial Intelligence Review.

[13]  Rhyd Lewis,et al.  A survey of metaheuristic-based techniques for University Timetabling problems , 2007, OR Spectr..

[14]  Pasquale Avella,et al.  A branch and cut heuristic for a runway scheduling problem , 2016, Autom. Remote. Control..

[15]  Edmund K. Burke,et al.  A branch-and-cut procedure for the Udine Course Timetabling problem , 2012, Ann. Oper. Res..

[16]  Iain Dunning,et al.  JuMP: A Modeling Language for Mathematical Optimization , 2015, SIAM Rev..

[17]  Salwani Abdullah,et al.  Hybridizing Meta-heuristics Approaches for Solving University Course Timetabling Problems , 2013, RSKT.

[18]  Simon Kristiansen,et al.  A Comprehensive Study of Educational Timetabling - a Survey , 2013 .

[19]  Edmund K. Burke,et al.  Penalising Patterns in Timetables: Novel Integer Programming Formulations , 2007, OR.

[20]  Barry McCollum,et al.  A Perspective on Bridging the Gap Between Theory and Practice in University Timetabling , 2006, PATAT.

[21]  Edmund K. Burke,et al.  A supernodal formulation of vertex colouring with applications in course timetabling , 2007, Ann. Oper. Res..

[22]  Jin-Kao Hao,et al.  Adaptive Tabu Search for course timetabling , 2010, Eur. J. Oper. Res..

[23]  Fred W. Glover,et al.  Neighborhood analysis: a case study on curriculum-based course timetabling , 2011, J. Heuristics.

[24]  Sanja Petrovic,et al.  Recent research directions in automated timetabling , 2002, Eur. J. Oper. Res..

[25]  Marco E. Lübbecke,et al.  Curriculum based course timetabling: new solutions to Udine benchmark instances , 2012, Ann. Oper. Res..

[26]  Jaber Karimpour,et al.  A survey of approaches for university course timetabling problem , 2015, Comput. Ind. Eng..

[27]  Tomás Müller,et al.  ITC2007 solver description: a hybrid approach , 2009, Ann. Oper. Res..

[28]  Igor Vasil'ev,et al.  A Computational Study of a Cutting Plane Algorithm for University Course Timetabling , 2005, J. Sched..

[29]  Igor Vasil'ev,et al.  A Branch-and-Cut Algorithm for the Multilevel Generalized Assignment Problem , 2013, IEEE Access.

[30]  Thomas R. Stidsen,et al.  Benders' decomposition for curriculum-based course timetabling , 2018, Comput. Oper. Res..

[31]  Nelishia Pillay,et al.  A review of hyper-heuristics for educational timetabling , 2016, Ann. Oper. Res..

[32]  Edmund K. Burke,et al.  On a Clique-Based Integer Programming Formulation of Vertex Colouring with Applications in Course Timetabling , 2007, ArXiv.

[33]  Luca Di Gaspero,et al.  Benchmarking curriculum-based course timetabling: formulations, data formats, instances, validation, visualization, and results , 2012, Ann. Oper. Res..

[34]  Zulkifli Ahmad,et al.  A hybrid simulated annealing with solutions memory for curriculum-based course timetabling problem , 2013 .

[35]  Paolo Toth,et al.  An overview of curriculum-based course timetabling , 2015 .