25 - 29 de Noviembre de 2002

Montevideo, Uruguay

Radisson Victoria Plaza Hotel

 
CL33
 
PATHOS: Object-Oriented Concurrent Constraint Timetabling for Real World Cases

Juan Francisco Díaz
Universidad del Valle
jdiaz@eisc.univalle.edu.co
Luis O. Quesada
University of Louvain
luque@info.ucl.ac.be
Camilo Rueda
Universidad Javeriana-Cali
crueda@atlas.puj.edu.co
Catherine García
Universidad Javeriana-Cali
artemisa@puj.edu.co
Sandra Cetina
Lince Tech
lice@parquesoft.com
 
Abstract

University timetabling is a fundamental periodic activity in academic planning. In its general setting this problems is NP-complete. Devising effective strategies for solving it has been a challenge for several decades. Most approach that work in real application either find approximate solutions or only consider constraints of a very specific type. Our approach has been to tackle the full complexity of the problem using concurrent constraint programming techniques. We describe PATHOS, a concurrent constraint object oriented software written in Mozart that has been effectively used in real life situations. PATHOS improves the state of the art in automatic timetabling strategies since it handles problems of a much bigger size than has been considered so far using constraint programming techniques. The stratregies are techniques used in PATHOS are also applicable to other types of planning and scheduling problems.

Keywords: Timetabling, Concurrent Constraint Programming



Volver

infoUYclei 2002