{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:53:11Z","timestamp":1771473191330,"version":"3.50.1"},"reference-count":74,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,11,29]],"date-time":"2006-11-29T00:00:00Z","timestamp":1164758400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2007,3,20]]},"DOI":"10.1007\/s10601-006-9011-7","type":"journal-article","created":{"date-parts":[[2006,11,28]],"date-time":"2006-11-28T14:38:28Z","timestamp":1164724708000},"page":"63-92","source":"Crossref","is-referenced-by-count":13,"title":["Models for Global Constraint Applications"],"prefix":"10.1007","volume":"12","author":[{"given":"Helmut","family":"Simonis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,11,29]]},"reference":[{"key":"9011_CR1","volume-title":"Practial Application of Constraint Technologies and Logic Programming (PACLP) 1999. London, UK","author":"S. Abdennadher","year":"1999","unstructured":"Abdennadher, S., & Schlenker, H. (1999). INTERDIP an interactive constraint based nurse scheduler. In Practial Application of Constraint Technologies and Logic Programming (PACLP) 1999. London, UK. Blackpool: The Practical Application Company."},{"issue":"7","key":"9011_CR2","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0895-7177(93)90068-A","volume":"17","author":"A. Aggoun","year":"1993","unstructured":"Aggoun, A., & Beldiceanu, N. (1993). Extending CHIP in order to solve complex scheduling and placement problems. Math. Comput. Model, 17(7), 57\u201373.","journal-title":"Math. Comput. Model"},{"key":"9011_CR3","unstructured":"Aggoun, A., Beldiceanu, N., Bourreau, E., & Simonis, H. (1998). L\u2019 apport des contraintes globales pour la modelisation et la resolution d\u2019applications industrielles. In FRANCORO II, Deuxieme Journees Francophones de Recherche Operationelle. Sousse, Tunisie, April."},{"key":"9011_CR4","unstructured":"Aggoun, A., Gloner, Y., & Simonis, H. (1999). Global constraints for scheduling in CHIP. Invited Industrial Presentation, JFPLC 99."},{"key":"9011_CR5","unstructured":"Appa, G., Magos, D., & Mourtos, I. (2004). LP relaxations of multiple all_different predicates. In R\u00e9gin & Rueher [47] (Eds.), (pp. 364\u2013369). Berlin Heidelberg New York: Springer."},{"key":"9011_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K. Apt","year":"2003","unstructured":"Apt, K. (2003). Principles of Constraint Programming. Cambridge, UK: Cambridge University Press."},{"key":"9011_CR7","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-540-24664-0_3","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CP-AI-OR 2004, Nice, France","author":"C. Artigues","year":"2004","unstructured":"Artigues, C., Selmokhtar, S., & Feillet, D. (2004). A new exact solution algorithm for the job-shop problem with sequence-dependent setup times. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CP-AI-OR 2004, Nice, France (pages 37\u201349). Berlin Heidelberg New York: Springer, April."},{"key":"9011_CR8","unstructured":"Baptiste, P., & Le Pape, C. (2000). Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems. In Smolka [65] (Ed.), (pp. 375\u2013389). Berlin Heidelberg New York: Springer."},{"key":"9011_CR9","unstructured":"Baues, G., Kay, P., & Charlier, P. (1994). Constraint based resource allocation for airline crew management. In ATTIS94. Paris, France, April."},{"key":"9011_CR10","unstructured":"Beldiceanu, N., Bourreau, E., Chan, P., & Rivreau, D. (1997). Partial search strategy in CHIP. In 2nd Int. Conf. on Meta-Heuristics. Sofia-Antipolis, France."},{"key":"9011_CR11","unstructured":"Beldiceanu, N., Bourreau, E., Rivreau, D., & Simonis, H. (1996). Solving resource-constrained project scheduling problems with CHIP. In Fifth International Workshop on Project Management and Scheduling. Poznan, Poland (pp. 35\u201338), April."},{"key":"9011_CR12","unstructured":"Beldiceanu, N., Carlsson, M., & Rampon, J. X. (2005). Global Constraint Catalog. Technical Report T2005:08. Kista, Sweden: Swedish Institute of Computer Science, May."},{"key":"9011_CR13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"12","author":"N. Beldiceanu","year":"1994","unstructured":"Beldiceanu, N. & Contjean, E. (1994). Introducing global constraints in CHIP. Math. Comput. Model 12, 97\u2013123.","journal-title":"Math. Comput. Model"},{"key":"9011_CR14","doi-asserted-by":"crossref","unstructured":"Beldiceanu, N., & Carlsson, M. (2001). Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint. In Walsh [73] (Ed.), (pp. 377\u2013391). Berlin Heidelberg New York: Springer.","DOI":"10.1007\/3-540-45578-7_26"},{"key":"9011_CR15","first-page":"63","volume-title":"CP, Lecture Notes in Computer Science 2470","author":"N. Beldiceanu","year":"2002","unstructured":"Beldiceanu, N., & Carlsson, M. (2002). A new multi-resource cumulatives constraint with negative heights. In P. Van Hentenryck, (Ed.), CP, Lecture Notes in Computer Science 2470, (pp. 63\u201379). Berlin Heidelberg New York: Springer."},{"key":"9011_CR16","doi-asserted-by":"crossref","unstructured":"Bourdais, S., Galinier, P., & Pesant, G. Hibiscus: A constraint programming application to staff scheduling in health care. In Rossi [50] (Ed.), (pp. 153\u2013167). Berlin Heidelberg New York: Springer.","DOI":"10.1007\/978-3-540-45193-8_11"},{"key":"9011_CR17","unstructured":"Bourreau, E. (1999). Traitement de Contraintes sur les Graphes en Programmation par Contraintes. PhD thesis, L\u2019Universite de Paris 13\u2014Institut Galilee Laboratoire d\u2019Informatique de Paris Nord (L.I.P.N.), March."},{"key":"9011_CR18","first-page":"369","volume-title":"International Conference on Logic Programming (ICLP)","author":"Y. Caseau","year":"1994","unstructured":"Caseau, Y., & Laburthe, F. (1994). Improved CLP scheduling with task intervals. In International Conference on Logic Programming (ICLP) (pp. 369\u2013383). Cambridge, MA: MIT."},{"key":"9011_CR19","first-page":"363","volume-title":"Joint International Conference and Symposium on Logic Programming (JICSLP)","author":"Y. Caseau","year":"1996","unstructured":"Caseau, Y., & Laburthe, F. (1996). Cumulative scheduling with task intervals. In M. Maher (Ed.), Joint International Conference and Symposium on Logic Programming (JICSLP) (pp. 363\u2013377). Cambridge, MA: MIT."},{"key":"9011_CR20","unstructured":"Chan, P. (2002). La Planification du Personnel: Acteurs, Actions et Termes Multiples Pour Une Planification Operationelle des Personnes. PhD thesis, Universite Joseph Fourier, Grenoble 1. TIMC-IMAG, October."},{"key":"9011_CR21","volume-title":"Practical Applications of Constraint Technology (PACT) 1998. London, UK","author":"P. Chan","year":"1998","unstructured":"Chan, P., Heus, K., & Weil, G. (1998). Nurse scheduling with global constraints in CHIP: Gymnaste. In Practical Applications of Constraint Technology (PACT) 1998. London, UK. Blackpool: The Practical Application Company, March."},{"key":"9011_CR22","first-page":"159","volume-title":"Practial Application of Constraint Technologies and Logic Programming (PACLP) 2000, Manchester, UK","author":"P. Chan","year":"2000","unstructured":"Chan, P., & Weil, G. (2000). Cyclical timetabling using constraint logic programming. In Practial Application of Constraint Technologies and Logic Programming (PACLP) 2000, Manchester, UK (pp. 159\u2013175). Blackpool: The Practical Application Company."},{"key":"9011_CR23","first-page":"3","volume-title":"International Logic Programming Symposium (ILPS)","author":"Y. Cras","year":"1994","unstructured":"Cras, Y. (1994). Using constraint logic programming in services: a few short tales. In M. Bruynooghe (Ed.), International Logic Programming Symposium (ILPS) (pp. 3\u201316). Cambridge, MA: MIT."},{"key":"9011_CR24","first-page":"693","volume-title":"Fifth Generation Computer Systems (FGCS)","author":"M. Dincbas","year":"1988","unstructured":"Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., & Berthier, F. (1988). The constraint logic programming language CHIP. In Fifth Generation Computer Systems (FGCS) (pp. 693\u2013702). Berlin Heidelberg New York: Springer."},{"key":"9011_CR25","unstructured":"Dincbas, M., & Simonis, H. (1991). Apache\u2014a constraint based, automated stand allocation system. In Proceedings of Advanced Software Technology in Air Transport (ASTAIR\u201991), London, UK: Royal Aeronautical Society (pp. 267\u2013282), October."},{"issue":"1","key":"9011_CR26","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0743-1066(90)90052-7","volume":"8","author":"M. Dincbas","year":"1990","unstructured":"Dincbas, M., Simonis, H., & Van Hentenryck, P. (1990). Solving large combinatorial problems in logic programming. J. Log. Program. 8(1), 75\u201393.","journal-title":"J. Log. Program"},{"key":"9011_CR27","first-page":"290","volume-title":"European Conference on Artificial Intelligence (ECAI-88). Munich, W. Germany","author":"M. Dincbas","year":"1988","unstructured":"Dincbas, M., Simonis, H., & Van Hentenryck, P. (1988). Solving the car sequencing problem in constraint logic programming. In European Conference on Artificial Intelligence (ECAI-88). Munich, W. Germany (pp. 290\u2013295). London, UK: Pitmann, August."},{"key":"9011_CR28","first-page":"885","volume-title":"First International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Tullahoma, Tennessee, USA","author":"M. Dincbas","year":"1988","unstructured":"Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., & Graf, T. (1988). Applications of CHIP to industrial and engineering problems. In First International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Tullahoma, Tennessee, USA (pp. 885\u2013892). New York, NY: ACM, June."},{"key":"9011_CR29","volume-title":"AAAI Innovative Applications of Artificial Intelligence","author":"A. Chun","year":"2000","unstructured":"Chun, A. et\u00a0al. (2000). Nurse rostering at the hospital authority of Hong-Kong. In AAAI Innovative Applications of Artificial Intelligence. Menlo Park, CA: AAAI."},{"key":"9011_CR30","unstructured":"Darmoni, S. et\u00a0al. (1994). Horoplan: computer-assisted nurse scheduling using constraint-based programming. In Twelfth International Congress of the European Federation for Medical Informatics, Lisboa, Portugal."},{"key":"9011_CR31","unstructured":"Focacci, F., & Nuijten, W. (2000). A constraint propagation algorithm for scheduling with sequence dependent setup times. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CP-AI-OR 2000."},{"key":"9011_CR32","unstructured":"Harvey, W. D. & Ginsberg, M. L. (1995). Limited discrepancy search. In IJCAI 1, 607\u2013615."},{"key":"9011_CR33","doi-asserted-by":"crossref","unstructured":"Hellsten, L., Pesant, G., & van Beek, P. (2004). A domain consistency algorithm for the stretch constraint. In Wallace [72] (Ed.), (pp. 290\u2013304). Berlin Heidelberg New York: Springer.","DOI":"10.1007\/978-3-540-30201-8_23"},{"key":"9011_CR34","first-page":"257","volume-title":"Practical Applications of Constraint Technology (PACT) 1997. London, UK","author":"H. Meyer aufm Hofe","year":"1997","unstructured":"Meyer aufm Hofe, H. (1997). ConPlan\/SIEDAplan: Personnel assignment as a problem of hierarchical constraint satisfaction. In Practical Applications of Constraint Technology (PACT) 1997. London, UK (pp. 257\u2013271). Blackpool: The Practical Application Company."},{"key":"9011_CR35","first-page":"19","volume-title":"Principles and Practice of Constraint Programming- CP\u201995, Proceedings of First International Conference, CP\u201995, Cassis, France, September 19-22, 1995, Lecture Notes in Computer Science 976","year":"1995","unstructured":"Montanari, U. & Rossi, F. (Eds). (1995). In Principles and Practice of Constraint Programming- CP\u201995, Proceedings of First International Conference, CP\u201995, Cassis, France, September 19-22, 1995, Lecture Notes in Computer Science 976, (pp. 103\u2013120). Berlin Heidelberg New York: Springer."},{"issue":"4","key":"9011_CR36","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1023\/A:1009687210594","volume":"3","author":"W. Nuijten","year":"1998","unstructured":"Nuijten, W., & Le Pape, C. (1998). Constraint-based job shop scheduling with Ilog Scheduler. J. Heuristics, 3(4), 271\u2013286.","journal-title":"J. Heuristics"},{"key":"9011_CR37","first-page":"355","volume-title":"Practical Applications of Prolog (PAP) 1995, Paris","author":"H. Simonis","year":"1995","unstructured":"Simonis, H., & Kay, P. (1995). Building industrial CHIP applications from reusable software components. In Practical Applications of Prolog (PAP) 1995, Paris (pp. 355\u2013369). Blackpool: The Practical Application Company, April."},{"issue":"3","key":"9011_CR38","first-page":"537","volume":"7","author":"M. Perrett","year":"1991","unstructured":"Perrett, M. (1991). Using constraint logic programming techniques in container port planning. ICL Tech. J., 7(3), 537\u2013545, May.","journal-title":"ICL Tech. J."},{"key":"9011_CR39","doi-asserted-by":"crossref","unstructured":"Pesant, G. (2004). A regular language membership constraint for finite sequences of variables. In Wallace [72] (Ed.), (pp. 482\u2013495). Berlin Heidelberg New York: Springer.","DOI":"10.1007\/978-3-540-30201-8_36"},{"key":"9011_CR40","first-page":"460","volume-title":"CP Lecture Notes in Computer Science 3709","author":"G. Pesant","year":"2005","unstructured":"Pesant, G., & R\u00e9gin, J.-C. (2005). Spread: A balancing constraint based on statistics. In P. van Beek (Ed.), CP Lecture Notes in Computer Science 3709 (pp. 460\u2013474). Berlin Heidelberg New York: Springer."},{"key":"9011_CR41","unstructured":"Puget, J.-F. (1995). Applications of constraint programming. In Montanari, & Rossi [35] (Eds.), (pp. 647\u2013650). Berlin Heidelberg New York: Springer."},{"key":"9011_CR42","doi-asserted-by":"crossref","unstructured":"Quimper, C.-G., L\u00f3pez-Ortiz, A., van Beek, P., & Golynski, A. (2004). Improved algorithms for the global cardinality constraint. In Wallace [72] (Ed.), (pp. 542\u2013556). Berlin Heidelberg New York: Springer.","DOI":"10.1007\/978-3-540-30201-8_40"},{"key":"9011_CR43","first-page":"362","volume-title":"Innovative Applications of Artificial Intelligence","author":"J.-C. Regin","year":"1994","unstructured":"Regin, J.-C. (1994). A filtering algorithm for constraints of difference in CSPs. In Innovative Applications of Artificial Intelligence (pp. 362\u2013367). Menlo Park, CA: AAAI."},{"key":"9011_CR44","first-page":"209","volume-title":"AAAI\/IAAI, 1","author":"J.-C. R\u00e9gin","year":"1996","unstructured":"R\u00e9gin, J.-C. (1996). Generalized arc consistency for global cardinality constraint. In AAAI\/IAAI, 1 (pp. 209\u2013215). Menlo Park, CA: AAAI."},{"key":"9011_CR45","doi-asserted-by":"crossref","unstructured":"R\u00e9gin, J.-C., & Gomes, C.P. (2004). The cardinality matrix constraint. In Wallace [72] (Ed.), (pp. 572\u2013587). Berlin Heidelberg New York: Springer.","DOI":"10.1007\/978-3-540-30201-8_42"},{"key":"9011_CR46","doi-asserted-by":"crossref","unstructured":"R\u00e9gin, J.-C., & Puget, J.-F. (1997). A filtering algorithm for global sequencing constraints. In Smolka [65] (Ed.), (pp. 32\u201346). Berlin Heidelberg New York: Springer.","DOI":"10.1007\/BFb0017428"},{"key":"9011_CR47","volume-title":"Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Lecture Notes in Computer Science 3011","year":"2004","unstructured":"R\u00e9gin, J.-C., & Rueher, M. (Eds.) (2004). Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Lecture Notes in Computer Science 3011 Berlin Heidelberg New York: Springer."},{"key":"9011_CR48","doi-asserted-by":"crossref","unstructured":"Ribeiro, C., & Carravilla, M.A. (2004). A global constraint for nesting problems. In R\u00e9gin, and Rueher [47] (Ed.), (pp. 256\u2013270). Berlin Heidelberg New York: Springer.","DOI":"10.1007\/978-3-540-24664-0_18"},{"key":"9011_CR49","unstructured":"Ros, L., Creemers, T., Tourouta, E., & Riera, J. (2001). A global constraint model for integrated routeing and scheduling on a transmission network. In 7th International Conference on Information Networks, Systems and Technologies, Minsk, Belarus (pp. 40\u201347), October."},{"key":"9011_CR50","volume-title":"Proceedings of the Principles and Practice of Constraint Programming\u2014CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29\u2013October 3, 2003,Lecture Notes in Computer Science 2833. Berlin Heidelberg New York: Springer","year":"2003","unstructured":"Rossi, F. (Ed.) (2003). In Proceedings of the Principles and Practice of Constraint Programming\u2014CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29\u2013October 3, 2003,Lecture Notes in Computer Science 2833. Berlin Heidelberg New York: Springer."},{"key":"9011_CR51","first-page":"1","volume-title":"Constraint Databases and Applications. Proc Contessa Workshop, LNCS 1034, Friedrichshafen, Germany","author":"H. Simonis","year":"1995","unstructured":"Simonis, H. (1995). Application development with the CHIP system. In G. Kuper (Eds.), Constraint Databases and Applications. Proc Contessa Workshop, LNCS 1034, Friedrichshafen, Germany (pp. 1\u201321). Berlin Heidelberg New York: Springer, September."},{"key":"9011_CR52","unstructured":"Simonis, H. (1995). Scheduling and planning with constraint logic programming. Tutorial at Practical Applications of Prolog (PAP) 1995. London, UK, April."},{"key":"9011_CR53","unstructured":"Simonis, H. (1996). A problem classification scheme\u2014when to use CLP. Tutorial at Practical Applications of Constraint Technologies (PACT) 1996. Paris, France, April."},{"key":"9011_CR54","unstructured":"Simonis, H. (1997). Standard models for finite domain constraint solving. Tutorial at Practical Applications of Constraint Technologies (PACT) 1997. London, UK, April."},{"key":"9011_CR55","unstructured":"Simonis, H. (1998). Standard models 2 for finite domain constraint solving. Tutorial at Practical Applications of Constraint Technologies (PACT) 1998. London, UK, March."},{"key":"9011_CR56","unstructured":"Simonis, H. (1999). Visualization in constraint logic programming. Tutorial at Practial Application of Constraint Technologies and Logic Programming (PACLP) 1999. London, UK, April."},{"key":"9011_CR57","unstructured":"Simonis, H. (2000). Finite domain constraint programming methodology. Tutorial at Practial Application of Constraint Technologies and Logic Programming (PACLP) 2000. Manchester, UK, April."},{"key":"9011_CR58","unstructured":"Simonis, H. (2005). Sudoku as a constraint problem. In Fourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems (CP2005) (pp. 13\u201327), October."},{"key":"9011_CR59","first-page":"191","volume-title":"Analysis and Visualisation Tools for Constraint Programming, Lecture Notes in Computer Science 1870","author":"H. Simonis","year":"2000","unstructured":"Simonis, H., & Aggoun, A. (2000). Search-tree visualization. In P. Deransart, J. Maluszynski, & M. Hermenegildo (Eds.), Analysis and Visualisation Tools for Constraint Programming, Lecture Notes in Computer Science 1870, (pp. 191\u2013208). Berlin Heidelberg New York: Springer."},{"key":"9011_CR60","first-page":"299","volume-title":"Analysis and Visualisation Tools for Constraint Programming, Lecture Notes in Computer Science 1870","author":"H. Simonis","year":"2000","unstructured":"Simonis, H., Aggoun, A., Beldiceanu, N., & Bourreau, E. (2000). Global constraint visualization. In P. Deransart, J. Maluszynski, & M. Hermenegildo (Eds.), Analysis and Visualisation Tools for Constraint Programming, Lecture Notes in Computer Science 1870 (pp. 299\u2013317). Berlin Heidelberg New York: Springer."},{"issue":"1","key":"9011_CR61","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/5254.820326","volume":"15","author":"H. Simonis","year":"2000","unstructured":"Simonis, H., Charlier, P., & Kay, P. (2000). Constraint handling in an integrated transportation problem. IEEE Intell. Syst. Their Appl., 15(1), 26\u201332, Jan\/Feb.","journal-title":"IEEE Intell. Syst. Their Appl."},{"key":"9011_CR62","first-page":"321","volume-title":"Analysis and Visualisation Tools for Constraint Programming, Lecture Notes in Computer Science 1870","author":"H. Simonis","year":"2000","unstructured":"Simonis, H., Cornelissens, T., Dumortier, V., Fabris, G., Nanni, F., & Tirabosco, A. (2000). Using constraint visualization tools. In P. Deransart, J. Maluszynski, & M. Hermenegildo (Eds.), Analysis and Visualisation Tools for Constraint Programming, Lecture Notes in Computer Science 1870 (pp. 321\u2013356). Berlin Heidelberg New York: Springer."},{"key":"9011_CR63","first-page":"271","volume-title":"Constraints in Computational Logics (CCL), Lecture Notes in Computer Science 2002","author":"H. Simonis","year":"1999","unstructured":"Simonis, H. (1999). Building industrial applications with constraint programming. In H. Comon, C. March\u00e9, & R. Treinen (Eds.), Constraints in Computational Logics (CCL), Lecture Notes in Computer Science 2002 (pp. 271\u2013309). Berlin Heidelberg New York: Springer."},{"key":"9011_CR64","unstructured":"Simonis, H., & Cornelissens, T. (1995). Modelling producer\/consumer constraints. In Montanari, & Rossi [35] (Eds.), (pp. 449\u2013462). Berlin Heidelberg New York: Springer."},{"key":"9011_CR65","volume-title":"Principles and Practice of Constraint Programming\u2014CP97, Proceedings of the Third International Conference, Linz, Austria, October 29\u2013November 1, 1997, Lecture Notes in Computer Science 1330","year":"1997","unstructured":"Smolka, G., (Ed.) (1997). In Principles and Practice of Constraint Programming\u2014CP97, Proceedings of the Third International Conference, Linz, Austria, October 29\u2013November 1, 1997, Lecture Notes in Computer Science 1330. Berlin Heidelberg New York: Springer."},{"key":"9011_CR66","unstructured":"Szymanek, R., Gruian, F., & Kuchcinski, K. (1999). Application of constraint programming to digital systems design. In Workshop on Constraint Programming for Decision and Control, Institute for Automation, Silesian University of Technology. Gliwice, Poland (pp. 296\u2013302), June."},{"key":"9011_CR67","unstructured":"Toura\u00efvane (1995). Constraint programming and industrial applications. In Montanari & Rossi [35] (Eds.), (pp. 640\u2013642). Berlin Heidelberg New York: Springer."},{"key":"9011_CR68","unstructured":"Van Hentenryck, P., & Carillon, J. P. (1988). Generality versus specificity: an experience with AI and OR techniques. In Proceedings of AAAI-88, vol. 2, pp. 660\u2013664."},{"key":"9011_CR69","unstructured":"van Hoeve, W. (2001). The alldifferent constraint: a survey. In 6th Annual Workshop of the ERCIM Working Group on Constraints. Prague, Czech Republic, June."},{"key":"9011_CR70","first-page":"1","volume-title":"Principles and Practice of Constraint Programing\u2014CP 2002","author":"P. Vilim","year":"2002","unstructured":"Vilim, P. (2002). Batch processing with sequence dependent setup times. In P. Van Hentenryck (Ed.), Principles and Practice of Constraint Programing\u2014CP 2002 (pp. 1\u2013764). Ithaca, New York: Cornell University, September."},{"issue":"1\/2","key":"9011_CR71","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF00143881","volume":"1","author":"M. Wallace","year":"1996","unstructured":"Wallace, M. (1996). Practical applications of constraint programming. Constraints, 1(1\/2), 139\u2013168.","journal-title":"Constraints"},{"key":"9011_CR72","volume-title":"Principles and Practice of Constraint Programming\u2014CP 2004, Proceedings of the 10th International Conference, CP 2004, Toronto, Canada, September 27\u2013October 1, 2004, Lecture Notes in Computer Science 3258","year":"2004","unstructured":"Wallace, M. (Ed.) (2004). In Principles and Practice of Constraint Programming\u2014CP 2004, Proceedings of the 10th International Conference, CP 2004, Toronto, Canada, September 27\u2013October 1, 2004, Lecture Notes in Computer Science 3258. Berlin Heidelberg New York: Springer."},{"key":"9011_CR73","volume-title":"Principles and Practice of Constraint Programming\u2014CP , Proceedings of the 7th International Conference, CP 2001, Paphos, Cyprus, November 26\u2013December 1, 2001, Lecture Notes in Computer Science 2239","year":"2001","unstructured":"Walsh, T. (Ed.) (2001). In Principles and Practice of Constraint Programming\u2014CP 2001, Proceedings of the 7th International Conference, CP 2001, Paphos, Cyprus, November 26\u2013December 1, 2001, Lecture Notes in Computer Science 2239. Berlin Heidelberg New York: Springer."},{"issue":"4","key":"9011_CR74","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/51.395324","volume":"14","author":"G. Weil","year":"1995","unstructured":"Weil, G., Heus, K., Puget, F., & Poujade, M. (1995). Solving the nurse scheduling problem using constraint programming. IEEE Engineering in Medicine and Biology, 14(4), 417\u2013422, July-August.","journal-title":"IEEE Engineering in Medicine and Biology"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-006-9011-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-006-9011-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-006-9011-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:14:13Z","timestamp":1559229253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-006-9011-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,29]]},"references-count":74,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,3,20]]}},"alternative-id":["9011"],"URL":"https:\/\/doi.org\/10.1007\/s10601-006-9011-7","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,11,29]]}}}