A new model for automated examination timetabling
 Barry McCollum,
 Paul McMullan,
 Andrew J. Parkes,
 Edmund K. Burke,
 Rong Qu
 … show all 5 hide
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessAbstract
Automated examination timetabling has been addressed by a wide variety of methodologies and techniques over the last ten years or so. Many of the methods in this broad range of approaches have been evaluated on a collection of benchmark instances provided at the University of Toronto in 1996. Whilst the existence of these datasets has provided an invaluable resource for research into examination timetabling, the instances have significant limitations in terms of their relevance to realworld examination timetabling in modern universities. This paper presents a detailed model which draws upon experiences of implementing examination timetabling systems in universities in Europe, Australasia and America.
This model represents the problem that was presented in the 2nd International Timetabling Competition (ITC2007). In presenting this detailed new model, this paper describes the examination timetabling track introduced as part of the competition. In addition to the model, the datasets used in the competition are also based on current realworld instances introduced by EventMAP Limited. It is hoped that the interest generated as part of the competition will lead to the development, investigation and application of a host of novel and exciting techniques to address this important realworld search domain. Moreover, the motivating goal of this paper is to close the currently existing gap between theory and practice in examination timetabling by presenting the research community with a rigorous model which represents the complexity of the realworld situation. In this paper we describe the model and its motivations, followed by a full formal definition.
 Ahmadi, S., Barone, R., Cheng, P., Cowling, P., McCollum, B. (2003) Perturbation based variable neighbourhood search in heuristic space for examination timetabling problem. Proceedings of multidisciplinary international scheduling: theory and applications (MISTA 2003). pp. 155171
 AlYakoob, S., Sherali, H., AlJazzaf, M. (2010) A mixedinteger mathematical modeling approach to exam timetabling. Computational Management Science 7: pp. 1946 CrossRef
 Asmuni, H., Burke, E. K., Garibaldi, J. M., McCollum, B. (2006) A novel fuzzy approach to evaluate the quality of examination timetabling. Proceedings of the 6th international conference on the practice and theory of automated timetabling (PATAT 2006). pp. 82102
 Atsuta, M., Nonobe, K., & Ibaraki, T. (2008). ITC2007 track2: an approach using general CSP solver. Available from the ITC2007 website. http://www.cs.qub.ac.uk/itc2007/winner/bestcoursesolutions/Atsuta_et_al.pdf.
 Azimi, Z. N. (2005) Hybrid heuristics for examination timetabling problem. Applied Mathematics and Computation 163: pp. 705733 CrossRef
 Borning, A., Duisberg, R., FreemanBenson, B., Kramer, A., Woolf, M. Constraint hierarchies. In: Meyrowitz, N. eds. (1987) Proceedings of the conference on objectoriented programming systems, languages, and applications (OOPSLA). ACM, New York, pp. 4860 CrossRef
 Borning, A., FreemanBenson, B., Wilson, M. (1992) Constraint hierarchies. LISP and Symbolic Computation 5: pp. 223270 CrossRef
 Burke, E. K., Newall, J. (2004) Solving examination timetabling problems through adaptation of heuristic orderings. Annals of Operations Research 129: pp. 107134 CrossRef
 Burke, E. K., Newall, J., Weare, R. F. A memetic algorithm for university exam timetabling. In: Burke, E. K., Ross, P. eds. (1996) The practice and theory of automated timetabling. Springer, Berlin, pp. 241250
 Burke, E. K., Petrovic, S., Qu, R. (2002) Casebased heuristic selection for examination timetabling. Proceedings of the 4th AsiaPacific conference on simulated evolution and learning (SEAL 2002). pp. 277281
 Burke, E. K., Hart, E., Kendall, G., Newall, J., Ross, P., Schulenburg, S. (2003) Hyperheuristics: an emerging direction in modern search technology. Handbook of metaheuristics. Kluwer Academic, Dordrecht, pp. 457474
 Burke, E. K., Bykov, Y., Newall, J., Petrovic, S. (2004) A timepredefined local search approach to exam timetabling problems. IIE Transactions 36: pp. 509528 CrossRef
 Burke, E. K., Dror, M., Petrovic, S., Qu, R. (2005) Hybrid graph heuristics within a hyperheuristic approach to exam timetabling problems. The next wave in computing, optimization, and decision technologies. Springer, Berlin, pp. 7991 CrossRef
 Burke, E. K., Petrovic, S., Qu, R. (2006) Case based heuristic selection for timetabling problems. Journal of Scheduling 9: pp. 115132 CrossRef
 Burke, E. K., McCollum, B., Meisels, A., Petrovic, S., Qu, R. (2007) A graphbased hyperheuristic for educational timetabling problems. European Journal of Operational Research 176: pp. 177192 CrossRef
 Burke, E. K., McCollum, B., McMullan, P., Parkes, A. J. (2008) Multiobjective aspects of the examination timetabling competition track. Proceedings of PATAT 2008.
 Burke, E. K., Eckersley, A. J., McCollum, B., Petrovic, S., Qu, R. (2010) Hybrid variable neighbourhood approaches to university exam timetabling. European Journal of Operational Research 206: pp. 4653 CrossRef
 Callennec, B. L., Boulic, R. (2004) Interactive motion deformation with prioritized constraints. Proceedings of the 2004 ACM SIGGRAPH/Eurographics symposium on computer animation, SCA’04. Eurographics Association, AirelaVille, pp. 163171 CrossRef
 Carter, M. W., Laporte, G., Lee, S. Y. (1996) Examination timetabling: algorithmic strategies and applications. The Journal of the Operational Research Society 47: pp. 373383
 David, P. A constraintbased approach for examination timetabling using local repair techniques. In: Burke, E. K., Carter, M. W. eds. (1998) Practice and theory of automated timetabling: selected papers from the 2nd international conference. pp. 169186 CrossRef
 Werra, D., Asratian, A. S., Durand, S. (2002) Complexity of some special types of timetabling problems. Journal of Scheduling 5: pp. 171183 CrossRef
 Gaspero, L. Recolour, shake and kick: a recipe for the examination timetabling problem. In: Burke, E. K., Causmaecker, P. D. eds. (2002) Proceedings of the 4th international conference on the practice and theory of automated timetabling. pp. 404407
 Gaspero, L., Schaerf, A. Tabu search techniques for examination timetabling. In: Burke, E. K., Erben, W. eds. (2001) Practice and theory of automated timetabling: selected papers from the 3rd international conference. pp. 104117 CrossRef
 Di Gaspero, L., McCollum, B., & Schaerf, A. (2007). The second international timetabling competition (ITC2007): curriculumbased course timetabling (track 3) (Tech. Rep. QUB/IEEE/Tech/ITC2007/CurriculumCTT/v1.0/1) August 2007, Queen’s University Belfast. http://www.cs.qub.ac.uk/itc2007/.
 Dowsland, K. A., Thompson, J. (2005) Ant colony optimization for the examination scheduling problem. The Journal of the Operational Research Society 56: pp. 426438 CrossRef
 Dubois, D., Fargier, H., Prade, H. (1996) Possibility theory in constraint satisfaction problems: handling priority, preference and uncertainty. Applied Intelligence 6: pp. 287309 CrossRef
 Duong, T. A., Lam, K. H. (2004) Combining constraint programming and simulated annealing on university exam timetabling. Proceedings of the 2nd international conference in computer sciences, research, innovation & vision for the future (RIVF2004). pp. 205210
 Gogos, C., Alefragis, P., & Housos, E. (2010). An improved multistaged algorithmic process for the solution of the examination timetabling problem. Annals of Operations Research. doi:10.1007/s1047901007123
 Henz, M., Yap, R. H. C., Lim, Y. F., Lua, S. C., Walser, J. P., Shi, X. P. (2004) Solving hierarchical constraints over finite domains with local search. Annals of Mathematics and Artificial Intelligence 40: pp. 283301 CrossRef
 Lewis, R., Paechter, B., & McCollum, B. (2007). Post enrolment based course timetabling: a description of the problem model used for track two of the second international timetabling competition (Cardiff Working Papers in Accounting and Finance A20073), Cardiff Business School, Cardiff University, August 2007.
 McCollum, B. (2007) A perspective on bridging the gap between theory and practice in university timetabling. Revised selected papers of PATAT 2006, Proceedings of the 6th international conference on the practice and theory of automated timetabling. pp. 323
 McCollum, B., McMullan, P., Burke, E. K., Parkes, A. J., & Qu, R. (2007). The second international timetabling competition: examination timetabling track (Tech. Rep. QUB/IEEE/Tech/ITC2007/Exam/v4.0/17.2007), Queen’s University Belfast. http://www.cs.qub.ac.uk/itc2007/.
 McCollum, B., Schaerf, A., Paechter, B., McMullan, P., Lewis, R., Parkes, A. J., Gaspero, L. D., Qu, R., Burke, E. K. (2010) Setting the research agenda in automated timetabling: the second international timetabling competition. INFORMS Journal on Computing 22: pp. 120130 CrossRef
 Merlot, L. T. G., Boland, N., Hughes, B. D., Stuckey, P. J. (2003) A hybrid algorithm for the examination timetabling problem. Practice and theory of automated timetabling: selected papers from the 4th international conference. pp. 207231 CrossRef
 Meseguer, P., Bouhmala, N., Bouzoubaa, T., Irgens, M., Sánchez, M. (2003) Current approaches for solving overconstrained problems. Constraints 8: pp. 939 CrossRef
 Metaheuristics Network, International timetable competition 2002 (2003). http://www.idsia.ch/Files/ttcomp2002/. Organised by the metaheuristics network, http://www.metaheuristics.net/ and PATAT 2002 http://www.asap.cs.nott.ac.uk/patat/patat02/patat02.shtml. Accessed April 2008.
 Müller, T. (2009) ITC2007 solver description: a hybrid approach. Annals of Operations Research 172: pp. 429446 CrossRef
 Mumford, C. L. (2007) An order based evolutionary approach to dual objective examination timetabling. Proceedings of the 2007 IEEE symposium on computational intelligence in scheduling (CISched 2007).
 Paquete, L., Stützle, T. Empirical analysis of tabu search for the lexicographic optimization of the examination timetabling problem. In: Burke, E., Causmaecker, P. D. eds. (2002) Proceedings of the 4th international conference on practice and theory of automated timetabling.
 Parkes, A. J., Özcan, E. (2010) Properties of Yeditepe examination timetabling benchmark instances. Proc. of the 8th international conference on the practice and theory of automated timetabling (PATAT 2010).
 Pillay, N. (2008). A developmental approach to the examination timetabling problem. http://www.cs.qub.ac.uk/itc2007/winner/bestexamsolutions/pillay.pdf.
 Qu, R., Burke, E. K., McCollum, B., Merlot, L., Lee, S. (2009) A survey of search methodologies and automated system development for examination timetabling. Journal of Scheduling 12: pp. 5589 CrossRef
 Ross, P., Corne, D., TerashimaMarín, H. The phase transition niche for evolutionary algorithms in timetabling. In: Burke, E. K., Trick, M. A. eds. (1996) Selected papers from the first international conference on the theory and practice of automated timetabling (PATAT 95). Springer, New York, pp. 309324
 Ross, P., MarinBlazquez, J., Hart, E. (2004) Hyperheuristics applied to class and exam timetabling problems. Proceedings of the 2004 congress on evolutionary computation (CEC2004). pp. 16911698
 Smet, G. D. (2008). ITC 2007—examination track. Available from the ITC2007 website. http://www.cs.qub.ac.uk/itc2007/.
 Thompson, J., Dowsland, K. (1998) A robust simulated annealing based examination timetabling system. Computers & Operations Research 25: pp. 637648 CrossRef
 Tsang, E., Mills, P., Williams, R. (1999) A computer aided constraint programming system. The 1st international conference on the practical application of constraint technologies and logic programming (PACLP). pp. 8193
 Loon, J. N. M. (1981) Irreducibly inconsistent systems of linear inequalities. European Journal of Operational Research 8: pp. 283288 CrossRef
 White, G. M., Xie, B. S. Examination timetables and tabu search with longerterm memory. In: Burke, E. K., Erben, W. eds. (2001) Practice and theory of automated timetabling: selected papers from the 3rd international conference.
 Wong, T., Cote, P., Gely, P. (2002) Final exam timetabling: a practical approach. IEEE Canadian conference on electrical and computer engineering (CCECE 2002). pp. 726731
 Title
 A new model for automated examination timetabling
 Journal

Annals of Operations Research
Volume 194, Issue 1 , pp 291315
 Cover Date
 20120401
 DOI
 10.1007/s104790110997x
 Print ISSN
 02545330
 Online ISSN
 15729338
 Publisher
 Springer US
 Additional Links
 Topics
 Industry Sectors
 Authors

 Barry McCollum ^{(1)}
 Paul McMullan ^{(1)}
 Andrew J. Parkes ^{(2)}
 Edmund K. Burke ^{(2)}
 Rong Qu ^{(2)}
 Author Affiliations

 1. School of Computer Science, Queen’s University Belfast, University Road, Belfast, N. Ireland, BT7 1NN, UK
 2. School of Computer Science, University of Nottingham, Jubilee Campus, Nottingham, NG8 1BB, UK