A language for specifying complete timetabling problems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2079 LNCS, Issue , 2001, Pages 322-341

  Reis, Luís Paulo ^a,b   Oliveira, Eugénio ^a,c  

^a UNIVERSITY OF PORTO   (Portugal)

^b UFP CEREM Multimedia Resource Center   (Portugal)

^c EUP DEEC   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT SATISFACTION PROBLEMS; STUDENTS; COMPUTATIONAL LINGUISTICS; EDUCATION; TEACHING;

EXAMINATION TIMETABLING; MEETING SCHEDULING; NATURAL REPRESENTATION; QUALITY MEASURES; RESEARCH RESULTS; SCHOOL TIMETABLING; TIMETABLING PROBLEM; UNIVERSITY TIMETABLING;

SCHEDULING;

EID: 84889571419     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44629-x_20     Document Type: Conference Paper

References (44)

1. Abramson, D., Dang, H.: School Timetables: A Case Study Using Simulated Annealing, Applied SA. Lecture Notes in Economics and Mathematical Systems. Springer-Verlag, Berlin Heidelberg New York (1993) 104-124
2. Appleby J., Blake D., Newman E.: Techniques for Producing School Timetables on a Computer and Their Application to other Scheduling Problems. Comput. J. 3 (1960) 237-245
3. Bardadym, V. Computer-Aided Lessons Timetables Construction, A Survey. USIM - Management Systems and Computers, Vol. 8. (1991) 119-126
4. Barham, A., Westwood, J.: A Simple Heuristic to Facilitate Course Timetabling. J. Oper. Res. Soc. 29 (1978) 1055-1060
5. Burke, E.K., Ross, P. (eds.): The Practice and Theory of Automated Timetabling. Lecture Notes in Computer Science, Vol. 1153. Springer-Verlag, Berlin Heidelberg New York (1996)
6. Burke E.K., Elliman D.G., Weare R.F.: A Genetic Algorithm for University Timetabling. In: Proc. AISB Workshop on Evolutionary Computing (University of Leeds, UK, April 1994)
7. Burke E., Elliman D., Ford P., Weare R.: Examination Timetabling in British Universities - A Survey. 1st Int. Conf. Practice and Theory of Automated Timetabling PATAT'95 (Edinburgh, UK) (1995) 423-434
8. Burke, E., Carter M. (eds.): Practice and Theory of Automated Timetabling II, Lecture Notes in Computer Science, Vol. 1408. Springer-Verlag, Berlin Heidelberg New York (1998)
9. Burke, E., Jackson, K., Kingston, J., Weare, R.: Automated Timetabling: The State of the Artif. Comput. J. 40 (1996)
10. Burke, E., Kingston, J, Pepper,P. A Standard Data Format for Timetabling Instances. In: Burke, E., Carter M. (eds.): Practice and Theory of Automated Timetabling II, Lecture Notes in Computer Science, Vol. 1408. Springer-Verlag, Berlin Heidelberg New York (1998) 213-222
11. Carter, M., Laporte, G.: Recent Developments in Practical Examination Timetabling. In: Burke, E., Carter M. (eds.): Practice and Theory of Automated Timetabling II, Lecture Notes in Computer Science, Vol. 1408. Springer-Verlag, Berlin Heidelberg New York (1998) 3-21
12. Carter, M.: A Survey of Practical Applications of Examination Timetabling Algorithms. Oper. Res. 34 (1986) 193-202
13. Collingwood, E., Ross, P., Corne, D.: A Guide to GATT. University of Edinburgh (1996)
14. Cooper, T., Kingston, J.: A Program for Constructing High School Timetables. Proc. 1st Int. Conf. on the Practice and Theory of Automated Timetabling (Napier University, Edinburgh, UK, 1995)
15. Cooper, T., Kingston, J.: The Complexity of Timetable Construction Problems. In: PATAT'95: Proc. 1st Int. Conf. on the Practice and Theory of Automated Timttabling (Napier University, Edinburgh). Lecture Notes in Computer Science, Vol. 1153. Springer-Verlag, Berlin Heidelberg New York (1996)
16. Cooper,T., Kingston, J.: The Solution of Real Instances of the Timetabling Problems. Comput. J. 36 (1993) 645-653
17. Corne, D., Ross, P., Fang, H.: Fast Practical Evolutionary Timetabling, Proc. AISB Workshop on Evolutionary Computing. Springer-Verlag, Berlin Heidelberg New York (1994)
18. Cumming, A., Paechter, B.: Seminar: Standard Timetabling Data Format. Int. Conf. on the Practice and Theory of Automated Timetabling (Edinburgh, UK, 1995)
19. de Werra, D.: An Introduction to Timetabling. Eur. J. Oper. Res. 19 (1985) 151-162
20. de Werra, D.: Construction of School Timetables by Flow Methods. INFOR - Can. J. Oper. Res. and Inf. Process. 9 (1971) 12-22
21. Aggoun et al.: Eclipse User Manual, ECRC GmbH (1992). Int. Computers Ltd and ICParc (1998)
22. Fahrion, R., Dollanski G.: Construction of University Faculty Timetables Using Logic Programming Techniques. Discrete Appl. Math. 35 (1992) 221-236
23. Gervet, C.: Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language. Constraints 1 (1997) 191-246
24. Gotlieb, C.: The Construction of Class-Teacher Time-Tables. Proc. IFIP Congress (Munich, 1963) 73-77
25. Gudes E., Kuflik T., Meisels A.: On Resource Allocation by an Expert System. Eng. Applic. Artif. Intell. 3 (1990) 101-109
26. Gueret, C. et al.: Building University Timetables Using Constraint Logic Programming. Proc. 1st Int. Conf. on the Practice and Theory of Automated Timetabling (1995) 393-408
27. Hentenryck, P.: Constraint Satisfaction in Logic Programming, LP Series, MIT Press, Cambridge, MA (1989)
28. Hertz, A.: Finding a Feasible Course Schedule using Tabu Search. Discrete Appl. Math. 35 (1992) 225-270
29. Junginger, W.: Timetabling in Germany - a Survey. Interfaces 16 (1986) 66-74
30. Kang, L., White, G.: A Logic Approach to the Resolution of Constraints in Timetabling. Eur. J. Oper. Res. 61 (1992) 306-317
31. Kingston, J., Bardadym, V., Carter, M.: Bibliography on the Practice and Theory of Automated Timetabling. ftp://ftp.cs.usyd.edu.au/jeff/timetabling/ timetabling.bib.gz (Sidney University, 1995)
32. Kovacic, M.: Timetable Construction with a Markovian Neural Network. Eur. J. Oper. Res. 69 (1993)
33. Lawrie, N.: An Integer Programming Model of a School Timetabling Problem. Comput. J. 12 (1969) 307-316
34. Potter, B. et al.: An Introduction to the Formal Specification Language Z. Prentice-Hall, Englewood Cliffs, NJ (1991)
35. Reis, L.P., Oliveira, E.: A Constraint Logic Programming Approach to Examination Scheduling. AICS'99, Artificial Intelligence and Cognitive Science Conference (Cork, Ireland, September 1999)
36. Reis, L.P., Oliveira, E.: Constraint Logic Programming using Set Variables for Solving Timetabling Problems, INAP'99, 12th Int. Conf. on the Applications of Prolog (Tokyo, Japan, September 1999)
37. Reis, L.P., Teixeira, P., Oliveira, E.: Examination Timetabling using Constraint Logic Programming, ECP'99, 5th Eur. Conf. on Planning (Durham, UK, September 1999)
38. Schaerf, A.: A Survey of Automated Timetabling. TR CS-R9567. CWI-Cent. Wiskunde en Informatica (1995)
39. Schmidt, G., Strohlein, T.: Timetable Construction - An Annotated Bibliography. Comput. J. 23 (1979) 307-316
40. Stamatopoulos, P. et al.: Nearly Optimum Timetable Construction Through CLP and Intelligent Search. Int. J. Artif. Intell. Tools 7 (1998) 415-442
41. Tsang, E.: Foundations of Constraint Satisfaction. Academic, London New York (1993)
42. Verbraeck, A.: A Decision Support System for Timetable Construction. Int. Conf. on Expert Planning Systems (Brighton, UK, 1990) 207-211
43. Welsh, D., Powell M.: An Upper Bound for the Chromatic Number of a Graph and its Applications to Timetabling Problems. Comput. J. 10 (1996) 85-86
44. Wren, A.: Scheduling, Timetabling and Rostering - A Special Relationship. In Burke, E.K., Ross P. (eds.): The Practice and Theory of Automated Timetabling. Lecture Notes in Computer Science, Vol. 1153. Springer-Verlag, Berlin Heidelberg New York (1996) 46-76