© 1990 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
Optimization Algorithms for Student Scheduling via Constraint Satisfiability

1 Department of Mathematics and Computer Science, Bar-Ilan University, Ramat Gan, Israel, 2 IBM Israel Scientific Center, Technion City, Haifa, Israel
Techniques for solving constraint satisfiability problems have received much attention in artificial intelligence, operation research and symbolic logic. Applications which may be viewed as CSPs are found in scene identification in computer vision, space and motion planning, database consistency, combinatorial optimization, and cryptarithm puzzle solving.
Our research effort attempts to determine which algorithms perform best, and under what conditions, in solving a special CSP known as the student scheduling problem (SSP). Since constraint satisfiability problems are, in general, NP-complete, it is of interest to develop and compare the effectiveness and efficiency of heuristic algorithms as applied, in particular, to our application.
In this paper, we assign priorities to the constraints and investigate optimization algorithms for finding schedules which rank high with respect to the priorities. Experimental results have been collected and are reported here. Our system was developed for and used at Bar-Ilan University during the registration period, being available for students to construct their timetables.
Received June 1989. revised October 1989.
* Department of Mathematics and Computer Science, Bar-Ilan University, Ramat Gan, Israel
IBM Israel Scientific Center, Technion City, Haifa, Israel
¶ Current address: Department of Computer Science, Cornell University, Ithaca, New York 14853, U.S.A.
Currently on leave at the IBM Watson Research Center, P.O.Box 704, Yorktown Heights, New York 10598, U.S.A.