Using Oz for college timetabling

Henz, Martin; Würtz, Jörg

doi:10.1007/3-540-61794-9_58

Cited by 27 publications

(16 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Constraintprogramming technology has been used to solve timetabling problems from universities (e.g. Gueret et al 1996;Henz and Würtz 1996;Goltz and Matzke 1999;Abdennadher and Marte 2000) yet its applicability to school timetabling remains to explore.…”

Section: Introductionmentioning

confidence: 99%

Towards constraint-based school timetabling

Marte¹

2007

Ann Oper Res

View full text Add to dashboard Cite

This paper takes three important steps towards constraint-based school timetabling: (i) It proposes a constraint model that covers many important requirements of school timetables by means of global constraints. (ii) It proposes a corresponding problem solver that learns from its earlier faults and restarts to escape non-promising parts of the search space. (iii) By reporting a large-scale computational study, it delivers a proof of concept.

show abstract

Section: Introductionmentioning

confidence: 99%

Towards constraint-based school timetabling

Marte¹

2007

Ann Oper Res

View full text Add to dashboard Cite

show abstract

“…Correspondingly, there have been many approaches to the realization of these views using a wide variety of problem-solving paradigms ( [7], [11], [12], [33], [36], [39], [48] and [54] are sample instances). Compared with these, Constraint Satisfaction techniques figure prominently ( [4], [27], [35] and [55] are just a few examples of Constraint-based approaches to university/school timetabling).…”

Section: Introductionmentioning

confidence: 99%

Software engineering aspects of constraint-based timetabling—a case study

Abbas

Tsang

2004

Information and Software Technology

View full text Add to dashboard Cite

“…Verschiedene Ansätze zur Anwendung dieser Programmierung zur Lösung von Stundenplanungsproblemen werden beispielsweise in [3,12,13,15,2] diskutiert. Unser Ansatz ist, das Computersystem als Assistenten anzusehen und eine kombinierte automatische und interaktive Arbeitsweise anzustreben.…”

Section: Introductionunclassified

Automatische und interaktive Stundenplanung

Geske

Goltz

2004

Informatik Forsch. Entw.

View full text Add to dashboard Cite

Zusammenfassung. Das System für die interaktive, automatische Stundenplanung ist im Rahmen der Forschungsarbeiten des Bereichs Planungstechnik und Deklarative Programmierung in Fraunhofer FIRST zur Erweiterung der Constraintbasierten Programmierung entwickelt worden. Mit dem System wird die Stundenplanung der Medizinischen Fakultät Charité seit dem Sommersemester 1998 vorgenommen. Seitdem wurde das System kontinuierlich weiterentwickelt. Der erfolgreiche Einsatz des Systems zeigte, dass die gewählten Methoden und Verfahren sehr geeignet für die Behandlung derartiger Probleme sind. Die Vorteile einer kombinierten interaktiven und automatischen Stundenplanerzeugung konnten eindeutig nachgewiesen werden.Abstract. The interactive, automatic timetabling system was developed in Fraunhofer FIRST's department for Planning Technology and and Declarative Programming in the frame of research on the constraint-based programming paradigm. Since 1998, the system has been used to generate timetables for the Charité Medical Faculty at Berlin's Humboldt University and has undergone continuous extensions. Successful deployment of the system shows that the chosen methods and techniques are well suited for dealing with problems of this sort. The quality of the plans and their permanent use demonstrate the advantages of combined interactive and automatic generation of timetables.

show abstract

Using Oz for college timetabling

Cited by 27 publications

References 6 publications

Towards constraint-based school timetabling

Towards constraint-based school timetabling

Software engineering aspects of constraint-based timetabling—a case study

Automatische und interaktive Stundenplanung

Contact Info

Product

Resources

About