A logic approach to the resolution of constraints in timetabling

The construction of timetables involving three or more variables taking values from domains having thousands of values with several dozen constraints having different priorities is a problem common to many organizations. Various heuristics solutions have been proposed using results based on graph th...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:European journal of operational research 1992-09, Vol.61 (3), p.306-317
Hauptverfasser: Kang, Le, White, George M.
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The construction of timetables involving three or more variables taking values from domains having thousands of values with several dozen constraints having different priorities is a problem common to many organizations. Various heuristics solutions have been proposed using results based on graph theory, mathematical programming and manual methods. We propose an approach based on logic progamming using the first order predicate calculus. An algorithm has been developed, implemented in WPROLOG, and thoroughly tested on an Amdahl 5880 under VM HPL.
ISSN:0377-2217
1872-6860
DOI:10.1016/0377-2217(92)90360-L