An interactive tool for the controlled execution of an automated timetabling constraint engine

  • Authors:
  • Alberto Delgado;Jorge Andrés Pérez;Gustavo Pabón;Rafael Jordan;Juan F. Díaz;Camilo Rueda

  • Affiliations:
  • Pontificia Universidad Javeriana, Cali;Pontificia Universidad Javeriana, Cali;Central Planning Software;Pontificia Universidad Javeriana, Cali;Universidad del Valle;Pontificia Universidad Javeriana, Cali

  • Venue:
  • MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Here we introduce DePathos, a graphical tool for a time-tabling constraint engine (Pathos). Since the core of Pathos is text-based and provides little user-interaction, finding an appropriate solution for large problems (1000-2000 variables) can be a very time consuming process requiring the constant supervision of a constraint programming expert. DePathos uses an incremental solution strategy. Such strategy subdivides the problem and checks the consistency of the resulting subdivisions before incrementally unifying them. This has shown to be useful in finding inconsistencies and discovering over-constrained situations. Our incremental solution is based on hierarchical groupings defined at the problem domain level. This allows users to direct the timetabling engine in finding partial solutions that are meaningful in practice. We discuss the lessons learned from using Pathos in real settings, as well as the experiences of coupling DePathos to the timetabling engine.