New integer linear programming approaches for course timetabling

  • Authors:

  • Natashia Boland;Barry D. Hughes;Liam T. G. Merlot;Peter J. Stuckey

  • Affiliations:

  • Department of Mathematics and Statistics, The University of Melbourne, Victoria 3010, Australia;Department of Mathematics and Statistics, The University of Melbourne, Victoria 3010, Australia;Quantm, 4/333 Flinders Lane, Melbourne, Victoria 3000, Australia;Department of Computer Science and Software Engineering, The University of Melbourne,Victoria 3010, Australia

  • Venue:
  • Computers and Operations Research
  • Year:
  • 2008

Quantified Score

Hi-index 0.01

Visualization

Abstract

The most complete form of academic timetabling problem is the population and course timetabling problem. In this problem, there may be multiple classes of each subject, and the decision on which students are to constitute each class is made in concert with the decision on the timetable for each class. In order to solve this problem, it is normally simplified or decomposed in some fashion. One simplification commonly used in practice is known as blocking: it is assumed that the classes can be partitioned into sets of classes (or blocks) that will be timetabled in parallel. This restricts clashing to occur only between classes in the same block, and essentially removes the timetabling aspect of the problem, which can be carried out once the blocks are constituted and the classes populated. The problem of constituting the blocks and populating the classes, known as the course blocking and population problem, is nevertheless a challenging problem, and provides the focus of this paper. We demonstrate, using data provided by a local high school, that integer linear programming approaches can solve the problem in a matter of seconds. Key features include remodelling to remove symmetry caused by students with identical subject selection, and the observation that in practice, only integrality of the block composition variables needs to be enforced; the class population aspects of the model have strong integrality properties.