{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T12:18:42Z","timestamp":1759666722459},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617945"},{"type":"electronic","value":"9783540706823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61794-9_56","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:26:31Z","timestamp":1330277191000},"page":"130-145","source":"Crossref","is-referenced-by-count":27,"title":["Building University timetables using constraint logic programming"],"prefix":"10.1007","author":[{"given":"Christelle","family":"Gu\u00e9ret","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Narendra","family":"Jussien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrice","family":"Boizumault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Prins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"7","key":"8_CR1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0895-7177(93)90068-A","volume":"17","author":"A. Aggoun","year":"1993","unstructured":"Abderrahmane Aggoun and Nicolas Beldiceanu. Extending CHIP in order to solve complex scheduling and placement problems. Mathl. Comput. Modelling, 17(7):57\u201373, 1993.","journal-title":"Mathl. Comput. Modelling"},{"key":"8_CR2","unstructured":"P. Baptiste, G. Le Pape, and W. Nuijten. Incorporating efficient Operations Research algorithms in constraint-based scheduling. In 1st Joint Workshop on Artificial Intelligence and Operational Research, 1995. To appear."},{"issue":"12","key":"8_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"20","author":"N. Beldiceanu","year":"1994","unstructured":"N. Beldiceanu and E. Contjean. Introducing global constraints in CHIP. Mathematical and Computer Modelling, 20(12):97\u2013123, 1994.","journal-title":"Mathematical and Computer Modelling"},{"key":"8_CR4","unstructured":"Jacques Bellone, Andr\u00e9 Chamard, and C. Pradelles. Plane: An evolutive system for aircraft production written in CHIP. In Proceedings of the First International Conference on Practical Applications of Prolog, London, 1992."},{"key":"8_CR5","unstructured":"Christian Bessi\u00e8re. Arc consistency in dynamic constraint satisfaction problems. In Proceedings AAAI'91, 1991."},{"key":"8_CR6","unstructured":"Christian Bessi\u00e8re. Arc consistency for non-binary dynamic CSPs. In Proceedings ECAI'92, 1992."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Patrice Boizumault, Yann Delon, and Laurent P\u00e9ridy. Constraint logic programming for examination timetabling. To appear in Journal of Logic Programming, 1995.","DOI":"10.1016\/0743-1066(95)00100-X"},{"key":"8_CR8","volume-title":"Technical Report ECRC-94-38","author":"P. Boizumault","year":"1994","unstructured":"Patrice Boizumault, Christelle Gu\u00e9ret, and Narendra Jussien. Efficient labeling and constraint relaxation for solving time tabling problems. In Pierre Lim and Jean Jourdan, editors, Proceedings of the 1994 ILPS post-conference workshop on Constraint Languages\/Systems and their use in Problem Modeling: Volume 1 (Applications and Modelling), Technical Report ECRC-94-38, ECRC, Munich, Germany, November 1994."},{"key":"8_CR9","first-page":"149","volume-title":"Constraint hierarchies and logic programming","author":"A. Borning","year":"1989","unstructured":"Alan Borning, Michael Maher, Amy Martindale, and Molly Wilson. Constraint hierarchies and logic programming. In Giorgio Levi and Maurizio Martelli, editors, ICLP'89: Proceedings 6th International Conference on Logic Programming, pages 149\u2013164, Lisbon, Portugal, June 1989. MIT Press."},{"key":"8_CR10","unstructured":"J. P. Boufflet and S. Negre. About planning an examination session. In Proceedings ECCO VII, Conference of the European Chapter on Combinatorial Optimization, Milan, Italy, February 1994."},{"key":"8_CR11","volume-title":"EURO XII, Operations Research Designing Practical Solutions","author":"J. P. Boufflet","year":"1994","unstructured":"J. P. Boufflet and S. Negre. A practical timetable problem. In EURO XII, Operations Research Designing Practical Solutions, Glasgow, United Kingdom, July 1994."},{"key":"8_CR12","unstructured":"Bull SA. AMPHI + user's guide, 1992."},{"key":"8_CR13","volume-title":"AISB Workshop on Evolutionary Computing","author":"E. Burke","year":"1994","unstructured":"Edmund Burke, David Elliman, and Rupert Weare. A Genetic Algorithm for university timetabling. In AISB Workshop on Evolutionary Computing, University of Leeds, UK, April 1994."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"M. Cangalovi\u00e9 and J.A.M. Schreuder. Exact algorithm fro weighted graphs applied to timetabling problems with lectures of different lengths. European Journal of Operations Research, 1991.","DOI":"10.1016\/0377-2217(91)90254-S"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"M. W. Carter. A survey of practical applications of examination timetabling algorithms. European Journal of Operations Research, 34(2), 1986.","DOI":"10.1287\/opre.34.2.193"},{"key":"8_CR16","unstructured":"Y. Caseau and F. Laburthe. Improved CLP scheduling with task intervals. In 11th International Conference on Logic Programming, 1994."},{"key":"8_CR17","unstructured":"Andr\u00e9 Chamard, Fr\u00e9d\u00e9ric Dec\u00e8s, and Annie Fischler. Applying CHIP to a complex scheduling problem. In JICSLP'92, Washington, DC, November 1992. (Submitted)."},{"key":"8_CR18","unstructured":"Cosytec SA. CHIP v4 reference manual, 1993."},{"key":"8_CR19","volume-title":"PhD thesis","author":"X. Cousin","year":"1993","unstructured":"Xavier Cousin. Application de la programmation logique avec contraintes au probl\u00e8me d'emploi du temps. PhD thesis, Universit\u00e9 de Rennes I, France, 1993. In French."},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0377-2217(85)90167-5","volume":"19","author":"D. Werra de","year":"1985","unstructured":"Dominique de Werra. An introduction to timetabling. European Journal of Operational Research, 19:151\u2013162, 1985.","journal-title":"European Journal of Operational Research"},{"key":"8_CR21","first-page":"42","volume-title":"Solving a Cutting-Stock Problem in Constraint Logic Programming","author":"M. Dincbas","year":"1988","unstructured":"Mehmet Dincbas, Helmut Simonis, and Pascal Van Hentenryck. Solving a Cutting-Stock Problem in Constraint Logic Programming. In Robert Kowalski and Kenneth Bowen, editors, ICLP'88: Proceedings 5th International Conference on Logic Programming, pages 42\u201358, Seattle, WA, August 1988. MIT Press."},{"key":"8_CR22","unstructured":"Mehmet Dincbas, Helmut Simonis, and Pascal Van Hentenryck. Solving the Car Sequencing Problem in Constraint Logic Programming. In ECAI-88: European Conference on Artificial Intelligence, Munich, August 1988."},{"issue":"1\u20132","key":"8_CR23","first-page":"74","volume":"8","author":"M. Dincbas","year":"1990","unstructured":"Mehmet Dincbas, Helmut Simonis, and Pascal Van Hentenryck. Solving Large Combinatorial Problems in Logic Programming. Journal of Logic Programming, 8(1\u20132):74\u201394, January\u2013March 1990.","journal-title":"Journal of Logic Programming"},{"key":"8_CR24","first-page":"693","volume-title":"The Constraint Logic Programming Language CHIP","author":"M. Dincbas","year":"1988","unstructured":"Mehmet Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In FGCS-88: Proceedings International Conference on Fifth Generation Computer Systems, pages 693\u2013702, Tokyo, December 1988. ICOT."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Fages, Julian Fowler, and Thierry Sola. Handling preferences in constraint logic programming with relational optimization. In PLILP'94, Madrid, September 1994.","DOI":"10.1007\/3-540-58402-1_19"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"R. Feldman and M.C. Golumbic. Optimization algorithms for student scheduling via constraint satisfiability. The Computer Journal, 33(4), 1990.","DOI":"10.1093\/comjnl\/33.4.356"},{"key":"8_CR27","volume-title":"Building Problem Solvers","author":"K. D. Forbus","year":"1993","unstructured":"Kenneth D. Forbus and Johan de Kleer. Building Problem Solvers. MIT Press, Cambridge, 1993."},{"key":"8_CR28","unstructured":"Julian Fowler. Preferred constraints as optimization. In Proceedings Journ\u00e9es Fran\u00e7aises de Programmation en Logique, 1993."},{"key":"8_CR29","unstructured":"Eugene Freuder. Partial constraint satisfaction. In IJCAI-89: Proceedings 11th International Joint Conference on Artificial Intelligence, pages 278\u2013283, Detroit, 1989."},{"key":"8_CR30","unstructured":"F. Glover. Tabu search. CAAI Report 88-3, University of Colorado, 1988."},{"key":"8_CR31","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1287\/inte.20.4.74","volume":"20","author":"F. Glover","year":"1990","unstructured":"F. Glover. Tabu search: a tutorial. Interfaces, 20:74\u201394, 1990.","journal-title":"Interfaces"},{"key":"8_CR32","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02239976","volume":"39","author":"A. Hertz","year":"1987","unstructured":"A. Hertz and D. de Werra. Using tabu search techniques for graph coloring. Computing, 39:345\u2013351, 1987.","journal-title":"Computing"},{"key":"8_CR33","unstructured":"Michael Jampel and David Gilbert. Fair Hierarchical Constraint Logic Programming. In Manfred Meyer, editor, Proceedings ECAI'94 Workshop on Constraint Processing, Amsterdam, August 1994."},{"key":"8_CR34","volume-title":"Th\u00e8se de doctorat","author":"P. J\u00e9gou","year":"1991","unstructured":"Philippe J\u00e9gou. Contribution \u00e0 l'\u00e9tude des probl\u00e8mes de satisfaction de contraintes: Algorithmes de propagation et de r\u00e9solution \u2014 Propagation de contraintes dans les r\u00e9seaux dynamiques. Th\u00e8se de doctorat, Universit\u00e9 des Sciences et Techniques du Languedoc, Montpellier, France, January 1991. In French."},{"key":"8_CR35","unstructured":"Francisco Menezes, Pedro Barahona, and Philippe Codognet. An incremental hierarchical constraint solver. In Paris Kanellakis, Jean-Louis Lassez, and Vijay Saraswat, editors, PPCP'93: First Workshop on Principles and Practice of Constraint Programming, Providence RI, 1993."},{"key":"8_CR36","unstructured":"G. Le Pape. Programmation par contraintes: une nouvelle forme de d\u00e9bat entre recherche op\u00e9rationnelle et intelligence artificielle. Bulletin de l'AFIA, (21), April 1995."},{"key":"8_CR37","unstructured":"Projet CSPFlex., G\u00e9rard Bel, \u00c9ric Bensana, Khaled Gh\u00e9dira, David Lesaint, Thomas Schiex, G\u00e9rard Verfaillie, Christine Gaspin, Roger Martin-Clouaire, Jean-Pierre Rellier, Pierre Berlandier, Bertrand Neveu, Brigitte Trousse, H\u00e9ne Fargier, J\u00e9r\u00f4me Lang, Philippe David, Philippe Jansenn, Tibor K\u00f6k\u00e9ny, Marie-Catherine Vilarem, and Philippe J\u00e9gou. Repr\u00e9sentation et traitement pratique de la flexibilit\u00e9 dans les probl\u00e8mes sous contraintes. In Actes des Journ\u00e9es Nationales du PRC GDR Intelligence Artificielle, Marseille, France, October 1992. In French."},{"key":"8_CR38","doi-asserted-by":"crossref","unstructured":"Michel Rueher. A first exploration of Prolog-III's capabilities, Software \u2014 Practice and Experience, 23, 1993.","DOI":"10.1002\/spe.4380230204"},{"key":"8_CR39","unstructured":"Michel Rueher and Bruno Legeard. Which role for CLP in software engineering? An investigation on the basis of first applications. In Proceedings of the First International Conference on Practical Applications of Prolog, London, 1992."},{"key":"8_CR40","unstructured":"Smith and Shing. Bin packing. Bulletin of the IMA, 19, 1983."},{"key":"8_CR41","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1057\/jors.1980.116","volume":"31","author":"A. Tripathy","year":"1980","unstructured":"Arabinda Tripathy. A lagrangean relaxation approach to course timetabling. Journal of Operational Research Society, 31:599\u2013603, 1980.","journal-title":"Journal of Operational Research Society"},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"Arabinda Tripathy. School timetabling \u2014 a case in large binary integer linear programming. Management Science, 30(12), 1984.","DOI":"10.1287\/mnsc.30.12.1473"},{"key":"8_CR43","unstructured":"Edward Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993."},{"key":"8_CR44","volume-title":"Logic Programming Series","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, Cambridge, MA, 1989."},{"key":"8_CR45","unstructured":"Pascal Van Hentenryck. Incremental constraint satisfaction in logic programming. In Proceedings 6th International Conference on Logic Programming, 1989."},{"key":"8_CR46","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1016\/0377-2217(92)90360-L","volume":"61","author":"G. M. White","year":"1992","unstructured":"G. M. White and L. Kang. A logic approach to the resolution of constraints in timetabling. European Journal of Operations Research, 61:306\u2013317, 1992.","journal-title":"European Journal of Operations Research"},{"key":"8_CR47","unstructured":"M. Yoshikawa, K. Kaneko, Y. Yomura, and M. Watanabe. A constraint-based approach to high-school timetabling problems: A case study. In Proceedings of AAAI'94 Conference, 1994."}],"container-title":["Lecture Notes in Computer Science","Practice and Theory of Automated Timetabling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61794-9_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:59Z","timestamp":1605629459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61794-9_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617945","9783540706823"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/3-540-61794-9_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}