Constraint programming approach for school timetabling

In this paper, the timetabling problem for a typical high school environment was modeled and solved using a constraint programming (CP) approach. In addition, operations research (OR) models and local search techniques were also used in order to assist the CP search process by effectively reducing the solution search space. Relaxed models that can be solved using minimum cost matching algorithms were used in order to calculate problem lower bounds at various instances of the solution process. These bounds were in turn used to prioritize the search options of the CP process. The use of minimum cost matching model in the search process is an economical and efficient mechanism for the creation of effective search strategies and it is a competitive manner of introducing problem domain information to the CP environment. By including in the solution process a sequence of local search steps, the solution quality was further improved. Several large problems were solved and actual computational results for specific problem instances are presented.