Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
The Complexity of Timetable Construction Problems
Selected papers from the First International Conference on Practice and Theory of Automated Timetabling
Complete University Modular Timetabling Using Constraint Logic Programming
Selected papers from the First International Conference on Practice and Theory of Automated Timetabling
Building University Timetables Using Constraint Logic Programming
Selected papers from the First International Conference on Practice and Theory of Automated Timetabling
Examination Timetabling in British Universities: A Survey
Selected papers from the First International Conference on Practice and Theory of Automated Timetabling
Using Oz for College Timetabling
Selected papers from the First International Conference on Practice and Theory of Automated Timetabling
Generating Complete University Timetables by Combining Tabu Search with Constraint Logic
PATAT '97 Selected papers from the Second International Conference on Practice and Theory of Automated Timetabling II
Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
A survey of automated timetabling
A survey of automated timetabling
Resource-Constrained Project Scheduling and Timetabling
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
User hints: a framework for interactive optimization
Future Generation Computer Systems
A Module-Based Framework for Multi-language Constraint Modeling
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.00 |
A timetable is a temporal arrangement of a set of meetings such that all given constraints are satisfied. A timetabling problem can be suitably modelled in terms of a set of constraints. We use Constraint Logic Programming and develop methods, techniques and concepts for a combination of interactive and automatic timetabling of university courses and school curricula. An exemplary application of such a timetabling system was developed for the CharitÉ Medical Faculty at the Humboldt University, Berlin. The timetabling system is flexible enough to take into account special user requirements and to allow constraints to be modified easily if no basic conceptual change in the timetabling is necessary. An essential component is an automatic heuristic solution search with an interactive user-intervention facility. The user will, however, only be able to alter a timetable or schedule such that no hard constraints are violated.