Timetabling in constraint logic programming

In this paper we describe the timetabling problem and its solvability in a Constraint Logic Programming Language. A solution to the problem has been developed and implemented in ECLPS, since it deals with finite domains, it has well-defined interfaces between basic building blocks and supports good debugging facilities. The implemented timetable was based on the existing, currently used, timetables at the School of Informatics at out university. It integrates constraints concerning room and period availability.

[1]  Patrice Boizumault,et al.  Building University Timetables Using Constraint Logic Programming , 1995, PATAT.

[2]  George M. White,et al.  A logic approach to the resolution of constraints in timetabling , 1992 .

[3]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[4]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[5]  Micha Meier,et al.  CLP in ECRC , 1995, CP.

[6]  Pascal Van Hentenryck.  Constraint logic programming , 1991, The Knowledge Engineering Review.

[7]  D. de Werra,et al.  An introduction to timetabling , 1985 .

[8]  Pascal Van Hentenryck,et al.  Construction of CLP Programs , 1990, ALPUK.

[9]  William Leler,et al.  Constraint programming languages: their specification and generation , 1988 .

[10]  Krzysztof R. Apt,et al.  Logic Programming Languages: Constraints, Functions, and Objects , 1993 .

[11]  Gyuri Lajos.  Complete University Modular Timetabling Using Constraint Logic Programming , 1995, PATAT.

[12]  Wilhelm Erben,et al.  A Genetic Algorithm Solving a Weekly Course-Timetabling Problem , 1995, PATAT.

[13]  Dominique de Werra,et al.  Some Combinatorial Models for Course Scheduling , 1995, PATAT.

[14]  George M. White,et al.  Investigations of a Constraint Logic Programming Approach to University Timetabling , 1995, PATAT.

[15]  Enn Tyugu,et al.  Constraint Satisfaction and Constraint Programming: A Brief Lead-In , 1993, NATO ASI CP.

[16]  Christopher John Hogger,et al.  Introduction to logic programming , 1986, A.P.I.C. Studies in data processing.

[17]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[18]  Alain Hertz,et al.  How to Decompose Constrained Course Scheduling Problems into Easier Assignment Type Subproblems , 1995, PATAT.