{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:10Z","timestamp":1725664630905},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594796"},{"type":"electronic","value":"9783540492818"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59479-5_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:18:17Z","timestamp":1330276697000},"page":"85-101","source":"Crossref","is-referenced-by-count":0,"title":["A CLP approach for examination planning"],"prefix":"10.1007","author":[{"given":"Patrice","family":"Boizumault","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Delon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"P\u00e9ridy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"A. Aggoun and N. Beldiceanu. Extending Chip in order to solve complex scheduling and placement problems. In Journ\u00e9es francophones de la programmation en logique, Lille, 1992.","DOI":"10.1016\/0895-7177(93)90068-A"},{"key":"5_CR2","unstructured":"J. Bellone, A. Chamard, and C. Pradelles. Plane: An evolutive system for aircraft production written in Chip. In First Int. Conference on Practical Applications of Prolog, London, 1992."},{"key":"5_CR3","volume-title":"DFKI Document D-94-13","author":"P. Boizumault","year":"1993","unstructured":"P. Boizumault, Y. Delon, and L. P\u00e9ridy. Solving a real life exams problem using Constraint Logic Programming. In Manfred Meyer, editor, Constraint Processing: Proceedings of the international workshop at CSAM'93, DFKI Document D-94-13, German Research Center for Artificial Intelligence, Kaiserslautern, Germany, 1993."},{"key":"5_CR4","unstructured":"P. Boizumault, Y. Delon, and L. P\u00e9ridy. Planning exams using Constraint Logic Programming. In Second Int. Conference on Practical Applications of Prolog, London, 1994."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"P. Baptiste, B. Legeard, and C. Varnier. Hoist scheduling problem: an approach based on Constraint Programming. In IEEE International Conference on Robotics and Automation, Nice, 1992.","DOI":"10.1109\/ROBOT.1992.220195"},{"key":"5_CR6","unstructured":"A. Borning, M. Maher, A. Martingale, and M. Wilson. Constraint hierarchies and Logic Programming. In Sixth Int. Logic Programming Conference, Lisboa, 1989."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"A. M. Barham and J. B. Westwood. A simple heuristic to facilitate course time-tabling. Journal of Operational Research Society, 29, 1978.","DOI":"10.2307\/3009353"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"M. W. Carter. A survey of pratical applications of examination timetabling algorithms. Operations Research, 24(2), 1986.","DOI":"10.1287\/opre.34.2.193"},{"key":"5_CR9","unstructured":"A. Chamard and A. Fischler. A workshop scheduler written in Chip. In Second Int. Conference on Practical Applications of Prolog, London, 1994."},{"key":"5_CR10","unstructured":"Cosytec SA, Orsay, France. Chip user's guide, 1993."},{"key":"5_CR11","volume-title":"PhD thesis","author":"X. Cousin","year":"1993","unstructured":"X. Cousin. Applications de la Programmation en Logique avec Contraintes au probl\u00e8me d'emploi du temps. PhD thesis, Rennes University, France, 1993."},{"key":"5_CR12","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming language Chip. In International Conference on Fifth Generation Computer Systems, Tokyo, 1988."},{"key":"5_CR13","unstructured":"S. Desroches and G. Laporte. Examination timetabling by computer. Operations Research, 1984."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"S. Desroches, G. Laporte, and J.M. Rousseau. Horex: a computer program for the construction of examination schedules. INFOR 16, 1978.","DOI":"10.1080\/03155986.1978.11731709"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving large combinatorial problems in Logic Programming. Journal of Logic Programming, 8, 1990.","DOI":"10.1016\/0743-1066(90)90052-7"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"D. de Werra. An introduction to time tabling. European Journal of Operational Research, 19, 1985.","DOI":"10.1016\/0377-2217(85)90167-5"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"D. de Werra. Heuristics for graph coloring. Computing Suppl., 7, 1990.","DOI":"10.1007\/978-3-7091-9076-0_10"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"R. Feldman and M. Golumbic. Optimization algorithms for student scheduling via constraint satisfiability. The Computer Journal, 33(4), 1990.","DOI":"10.1093\/comjnl\/33.4.356"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"R. Harralick and G. Elliot. Increasing tree search efficiency for Constraint Satisfaction Problems. Artificial Intelligence, 14, 1980.","DOI":"10.1016\/0004-3702(80)90051-X"},{"key":"5_CR20","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck. The cardinality operator: a new logical connective for Constraint Logic Programming. In Eigth Int. Logic Programming Conference, Paris, 1991.","DOI":"10.1017\/S0269888900005798"},{"key":"5_CR22","unstructured":"P. Van Hentenryck. Scheduling and packing in the constraint language cc(FD). Technical report, CS Department, Brown University, 1992."},{"key":"5_CR23","unstructured":"P. Van Hentenryck, V. Saraswat, and Y. Deville. Implementation and evaluation of the constraint language cc(FD). Technical report, CS Department, Brown University, 1992."},{"key":"5_CR24","unstructured":"F. Menez, P. Barahona, and P. Codognet. An incremental constraint solver applied to a time-tabling problem. In thirteenth conference on expert systems, Avignon France, 1993."},{"key":"5_CR25","unstructured":"J. P. Le Pape and D. Ranson. Clef or programming with constraints, logic, equations and functions. In 4th Int. Conference on Software Engineering and its Applications, Toulouse, France, 1991."},{"key":"5_CR26","unstructured":"M. Rueher and B. Legeard. Which role for CLP in software engineering? an investigation on the basis of first applications. In First International Conference on Practical Applications of Prolog, London, 1992."},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"M. Rueher. A first exploration of PrologIII's capabilities. Software-Practice and Experience, 23(2), 1993.","DOI":"10.1002\/spe.4380230204"},{"key":"5_CR28","unstructured":"Rayward Smit and Shing. Bin packing. Bulletin of the IMA, 19, 1983."},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"A. Tripathy. School timetabling: a case in large binary integer linear programming. Management Science, 13(12), 1984.","DOI":"10.1287\/mnsc.30.12.1473"},{"key":"5_CR30","unstructured":"E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993."},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"D. C. Wood. A system for computing university examination timetables. Computer Journal, 11, 1968.","DOI":"10.1093\/comjnl\/11.1.41"}],"container-title":["Lecture Notes in Computer Science","Constraint Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59479-5_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:11:58Z","timestamp":1640941918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59479-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594796","9783540492818"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-59479-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}