Constraint-based timetabling-a case study

Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA

Volumn 2001-January, Issue , 2001, Pages 67-72

  Abbas, A M ^a   Tsang, E P K ^b  

^a UNIVERSITY OF BALAMAND   (Lebanon)

^b UNIVERSITY OF ESSEX   (United Kingdom)

Author keywords

Constraint Satisfaction; software engineering; timetabling

Indexed keywords

COMPUTER SOFTWARE; SCHEDULING; SOFTWARE ENGINEERING; VERIFICATION;

CONSTRAINT SATISFACTION; CONSTRAINT SATISFACTION TECHNIQUES; ENGINEERING COMMUNITY; HEURISTIC INFORMATION; PROBLEM FORMULATION; PROGRAM VERIFICATION; SCHOOL TIMETABLING; TIMETABLING;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 66149174367     PISSN: 21615322     EISSN: 21615330     Source Type: Conference Proceeding    
DOI: 10.1109/AICCSA.2001.933953     Document Type: Conference Paper

References (13)

1. The chic-2 project. http://www-icparc.doc.ic.ac.uk/chic2/.
2. A. Abbas and E. Tsang. Toward a general language for the specification of constraint-satisfaction problems. CP-AI-OR'01, April 2001.
3. E. Burke and M. E. Carter. The Practice and Theory of Automated Timetabling, volume Vol. 1 and 2. Springer Lecture Notes in Computer Science Series, 1996 and 1998.
4. P. Flener, B. Hnich, and Z. Kiziltan. Compiling high-level type constructors in constraint programming. PADL'01 (Practical Aspects of Declarative Languages), 2001.
5. J. Gaschnig. Experimental case studies of backtrack vs. waltz-type vs. new algorithms for satisfying-assignment problems. Proc. 2nd National Conference of the Canadian Society for Computational Studies of Intelligence, pages 19-21, 1978.
6. M. L. Ginsberg. Dynamic backtracking. Artificial Intelligence Research, 1, 1993.
7. B. Hnich and P. Flener. High-level reformulation of constraint programs. JFPLC'01, 2001.
8. L. P. Reis and E. Oliveira. A language for specifying complete timetabling problems. PATAT2000 Proceedings, August 2000. Burke and Erben (Eds).
9. M. A. Trick. A schedule-then-break approach to sports timetabling. PATAT2000 Proceedings, August 2000. Burke and Erben (Eds).
10. E. Tsang. Foundations of Constraint-Satisfaction. Academic Press, 1993.
11. E. Tsang, P. Mills, R. Williams, F. J., and J. Borrett. A computer aided constraint programming system. PACLP, pages 81-93, 1999.
12. M. Wallace. Practical applications of constraint programming. Journal of Constraints, 1(1 and 2):139-168, 1996.
13. G. M. White and B. S. Xie. Examination timetables and tabu search with longer term memory. PATAT2000 Proceedings, August 2000. Burke and Erben (Eds).