{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T07:54:12Z","timestamp":1761292452840},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424215"},{"type":"electronic","value":"9783540446293"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44629-x_20","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T18:09:20Z","timestamp":1183399760000},"page":"322-341","source":"Crossref","is-referenced-by-count":14,"title":["A Language for Specifying Complete Timetabling Problems"],"prefix":"10.1007","author":[{"given":"Lu\u00ecs Paulo","family":"Reis","sequence":"first","affiliation":[]},{"given":"Eug\u00e9nio","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,5]]},"reference":[{"key":"20_CR1","series-title":"Lecture Notes in Economics and Mathematical Systems","first-page":"104","volume-title":"A Case Study Using Simulated Annealing, Applied SA","author":"D. Abramson","year":"1993","unstructured":"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\u2013124"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1093\/comjnl\/3.4.237","volume":"3","author":"J. Appleby","year":"1960","unstructured":"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\u2013245","journal-title":"Comput. J"},{"key":"20_CR3","first-page":"119","volume":"8","author":"V. Bardadym","year":"1991","unstructured":"Bardadym, V. Computer-Aided Lessons Timetables Construction, A Survey. USIM-Management Systems and Computers, Vol. 8. (1991) 119\u2013126","journal-title":"USIM-Management Systems and Computers"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"1055","DOI":"10.2307\/3009353","volume":"29","author":"A. Barham","year":"1978","unstructured":"Barham, A., Westwood, J.: A Simple Heuristic to Facilitate Course Timetabling. J. Oper. Res. Soc. 29 (1978) 1055\u20131060","journal-title":"J. Oper. Res. Soc."},{"key":"20_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61794-9","volume-title":"The Practice and Theory of Automated Timetabling","author":"E.K. Burke","year":"1996","unstructured":"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)"},{"key":"20_CR6","volume-title":"Proc. AISB Workshop on Evolutionary Computing","author":"E.K. Burke","year":"1994","unstructured":"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)"},{"key":"20_CR7","unstructured":"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\u201995 (Edinburgh, UK) (1995) 423\u2013434"},{"key":"20_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0055877","volume-title":"Practice and Theory of Automated Timetabling","author":"E. Burke","year":"1998","unstructured":"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)"},{"key":"20_CR9","unstructured":"Burke, E., Jackson, K., Kingston, J., Weare, R.: Automated Timetabling: The State of the Artif. Comput. J. 40 (1996)"},{"key":"20_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BFb0055891","volume-title":"Practice and Theory of Automated Timetabling","author":"E. Burke","year":"1998","unstructured":"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\u2013222"},{"key":"20_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BFb0055878","volume-title":"Practice and Theory of Automated Timetabling","author":"M. Carter","year":"1998","unstructured":"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\u201321"},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1287\/opre.34.2.193","volume":"34","author":"M. Carter","year":"1986","unstructured":"Carter, M.: A Survey of Practical Applications of Examination Timetabling Algorithms. Oper. Res. 34 (1986) 193\u2013202","journal-title":"Oper. Res."},{"key":"20_CR13","unstructured":"Collingwood, E., Ross, P., Corne, D.: A Guide to GATT. University of Edinburgh (1996)"},{"key":"20_CR14","unstructured":"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)"},{"key":"20_CR15","series-title":"Lect Notes Comput Sci","volume-title":"In: PATAT\u201995","author":"T. Cooper","year":"1996","unstructured":"Cooper, T., Kingston, J.: The Complexity of Timetable Construction Problems. In: PATAT\u201995: 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)"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1093\/comjnl\/36.7.645","volume":"36","author":"T. Cooper","year":"1993","unstructured":"Cooper, T., Kingston, J.: The Solution of Real Instances of the Timetabling Problems. Comput. J. 36 (1993) 645\u2013653","journal-title":"Comput. J."},{"key":"20_CR17","volume-title":"Proc. AISB Workshop on Evolutionary Computing","author":"D. Corne","year":"1994","unstructured":"Corne, D., Ross, P., Fang, H.: Fast Practical Evolutionary Timetabling, Proc. AISB Workshop on Evolutionary Computing. Springer-Verlag, Berlin Heidelberg New York (1994)"},{"key":"20_CR18","unstructured":"Cumming, A., Paechter, B.: Seminar: Standard Timetabling Data Format. Int. Conf. on the Practice and Theory of Automated Timetabling (Edinburgh, UK, 1995)"},{"key":"20_CR19","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0377-2217(85)90167-5","volume":"19","author":"D. Werra de","year":"1985","unstructured":"de Werra, D.: An Introduction to Timetabling. Eur. J. Oper. Res. 19 (1985) 151\u2013162","journal-title":"Eur. J. Oper. Res"},{"key":"20_CR20","first-page":"12","volume":"9","author":"D. Werra de","year":"1971","unstructured":"de Werra, D.: Construction of School Timetables by Flow Methods. INFOR-Can. J. Oper. Res. and Inf. Process. 9 (1971) 12\u201322","journal-title":"INFOR-Can. J. Oper. Res. and Inf. Process"},{"key":"20_CR21","unstructured":"Aggoun et al.: Eclipse User Manual, ECRC GmbH (1992). Int. Computers Ltd and ICParc (1998)"},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0166-218X(92)90246-7","volume":"35","author":"R. Fahrion","year":"1992","unstructured":"Fahrion, R., Dollanski G.: Construction of University Faculty Timetables Using Logic Programming Techniques. Discrete Appl. Math. 35 (1992) 221\u2013236","journal-title":"Discrete Appl. Math"},{"key":"20_CR23","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C. Gervet","year":"1997","unstructured":"Gervet, C.: Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language. Constraints 1 (1997) 191\u2013246","journal-title":"Constraints"},{"key":"20_CR24","unstructured":"Gotlieb, C.: The Construction of Class-Teacher Time-Tables. Proc. IFIP Congress (Munich, 1963) 73\u201377"},{"key":"20_CR25","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0952-1976(90)90003-5","volume":"3","author":"E. Gudes","year":"1990","unstructured":"Gudes E., Kuflik T., Meisels A.: On Resource Allocation by an Expert System. Eng. Applic. Artif. Intell. 3 (1990) 101\u2013109","journal-title":"Eng. Applic. Artif. Intell"},{"key":"20_CR26","unstructured":"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\u2013408"},{"key":"20_CR27","volume-title":"LP Series","author":"P. Hentenryck","year":"1989","unstructured":"Hentenryck, P.: Constraint Satisfaction in Logic Programming, LP Series, MIT Press, Cambridge, MA (1989)"},{"key":"20_CR28","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0166-218X(92)90248-9","volume":"35","author":"A. Hertz","year":"1992","unstructured":"Hertz, A.: Finding a Feasible Course Schedule using Tabu Search. Discrete Appl. Math. 35 (1992) 225\u2013270","journal-title":"Discrete Appl. Math"},{"key":"20_CR29","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1287\/inte.16.4.66","volume":"16","author":"W. Junginger","year":"1986","unstructured":"Junginger, W.: Timetabling in Germany-a Survey. Interfaces 16 (1986) 66\u201374","journal-title":"Interfaces"},{"key":"20_CR30","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1016\/0377-2217(92)90360-L","volume":"61","author":"L. Kang","year":"1992","unstructured":"Kang, L., White, G.: A Logic Approach to the Resolution of Constraints in Timetabling. Eur. J. Oper. Res. 61 (1992) 306\u2013317","journal-title":"Eur. J. Oper. Res"},{"key":"20_CR31","unstructured":"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)"},{"key":"20_CR32","doi-asserted-by":"crossref","unstructured":"Kovacic, M.: Timetable Construction with a Markovian Neural Network. Eur. J. Oper. Res. 69 (1993)","DOI":"10.1016\/0377-2217(93)90094-4"},{"key":"20_CR33","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1093\/comjnl\/12.4.307","volume":"12","author":"N. Lawrie","year":"1969","unstructured":"Lawrie, N.: An Integer Programming Model of a School Timetabling Problem. Comput. J. 12 (1969) 307\u2013316","journal-title":"Comput. J."},{"key":"20_CR34","volume-title":"An Introduction to the Formal Specification Language Z","author":"B. Potter","year":"1991","unstructured":"Potter, B. et al.: An Introduction to the Formal Specification Language Z. Prentice-Hall, Englewood Cliffs, NJ (1991)"},{"key":"20_CR35","unstructured":"Reis, L.P., Oliveira, E.: A Constraint Logic Programming Approach to Examination Scheduling. AICS\u201999, Artificial Intelligence and Cognitive Science Conference (Cork, Ireland, September 1999)"},{"key":"20_CR36","unstructured":"Reis, L.P., Oliveira, E.: Constraint Logic Programming using Set Variables for Solving Timetabling Problems, INAP\u201999, 12th Int. Conf. on the Applications of Prolog (Tokyo, Japan, September 1999)"},{"key":"20_CR37","unstructured":"Reis, L.P., Teixeira, P., Oliveira, E.: Examination Timetabling using Constraint Logic Programming, ECP\u201999, 5th Eur. Conf. on Planning (Durham, UK, September 1999)"},{"key":"20_CR38","unstructured":"Schaerf, A.: A Survey of Automated Timetabling. TR CS-R9567. CWI-Cent. Wiskunde en Informatica (1995)"},{"key":"20_CR39","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1093\/comjnl\/23.4.307","volume":"23","author":"G. Schmidt","year":"1979","unstructured":"Schmidt, G., Strohlein, T.: Timetable Construction-An Annotated Bibliography. Comput. J. 23 (1979) 307\u2013316","journal-title":"Comput. J."},{"key":"20_CR40","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1142\/S0218213098000196","volume":"7","author":"P. Stamatopoulos","year":"1998","unstructured":"Stamatopoulos, P. et al.: Nearly Optimum Timetable Construction Through CLP and Intelligent Search. Int. J. Artif. Intell. Tools 7 (1998) 415\u2013442","journal-title":"Int. J. Artif. Intell. Tools"},{"key":"20_CR41","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Academic, London New York (1993)"},{"key":"20_CR42","unstructured":"Verbraeck, A.: A Decision Support System for Timetable Construction. Int. Conf. on Expert Planning Systems (Brighton, UK, 1990) 207\u2013211"},{"key":"20_CR43","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1093\/comjnl\/10.1.85","volume":"10","author":"D. Welsh","year":"1996","unstructured":"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\u201386","journal-title":"Comput. J."},{"key":"20_CR44","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-61794-9_51","volume-title":"The Practice and Theory of Automated Timetabling","author":"A. Wren","year":"1996","unstructured":"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\u201376"}],"container-title":["Lecture Notes in Computer Science","Practice and Theory of Automated Timetabling III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44629-X_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T01:38:56Z","timestamp":1556588336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44629-X_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424215","9783540446293"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/3-540-44629-x_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}