{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T18:30:48Z","timestamp":1771612248891,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,5,14]],"date-time":"2008-05-14T00:00:00Z","timestamp":1210723200000},"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":[[2008,9]]},"DOI":"10.1007\/s10601-008-9041-4","type":"journal-article","created":{"date-parts":[[2008,5,13]],"date-time":"2008-05-13T12:55:16Z","timestamp":1210683316000},"page":"229-267","source":"Crossref","is-referenced-by-count":87,"title":["The Design of the Zinc Modelling Language"],"prefix":"10.1007","volume":"13","author":[{"given":"Kim","family":"Marriott","sequence":"first","affiliation":[]},{"given":"Nicholas","family":"Nethercote","sequence":"additional","affiliation":[]},{"given":"Reza","family":"Rafeh","sequence":"additional","affiliation":[]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[]},{"given":"Maria","family":"Garcia de la Banda","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Wallace","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,5,14]]},"reference":[{"key":"9041_CR1","volume-title":"Constraint logic programming using ECLiPSe","author":"K. Apt","year":"2007","unstructured":"Apt, K., & Wallace, M. (2007). Constraint logic programming using ECLiPSe. Cambridge: Cambridge University Press."},{"key":"9041_CR2","volume-title":"Formal specification and documentation using Z: A case study approach","author":"J. P. Bowen","year":"1996","unstructured":"Bowen, J. P. (1996). Formal specification and documentation using Z: A case study approach. Boston: International Thomson Computer Press."},{"key":"9041_CR3","unstructured":"Brand, S., Naroditskaya, N., Quimper, C.-G., Stuckey, P. J., & Walsh, T. (2007). Encodings of the sequence constaint. In Proceedings of the 13th international conference on principles and practice of constraint programming (CP2007), Providence, Rhode Island, USA (September)."},{"key":"9041_CR4","first-page":"174","volume-title":"Proceedings of the fourth international conference on principles and practices of constraint programming, LNCS","author":"B. Demoen","year":"1999","unstructured":"Demoen, B., Garc\u00eda de la Banda, M., Harvey, W., Marriott, K., & Stuckey, P. J. (1999). An overview of HAL. In Jaffar, J. (ed.), Proceedings of the fourth international conference on principles and practices of constraint programming, LNCS, (pp. 174\u2013188). New York: Springer."},{"key":"9041_CR5","unstructured":"DIMACS, (1993). Satisfiability suggested format. ftp:\/\/dimacs.rutgers.edu\/pub\/challenge\/satisfiability\/doc ."},{"key":"9041_CR6","doi-asserted-by":"crossref","unstructured":"Flener, P., Pearson, J., & \u00c5gren, M. (2003). Introducing ESRA, a relational language for modelling combinatorial problems. In LOPSTR, International Symposium on Logic-based Program Synthesis and Transformation, (pp. 214\u2013232).","DOI":"10.1007\/978-3-540-45193-8_95"},{"key":"9041_CR7","volume-title":"AMPL: A modeling language for mathematical programming","author":"R. Fourer","year":"2002","unstructured":"Fourer, R., Gay, D. M., & Kernighan, B. W. (2002). AMPL: A modeling language for mathematical programming. Pacific Grove: Duxbury Press."},{"key":"9041_CR8","unstructured":"Frisch, A., Grum, M., Jefferson, C., Martinez Hernandez, B., & Miguel, I. (2007). The design of ESSENCE: A constraint language for specifying combinatorial problems. In Proc. of the 20th international joint conference on artificial intelligence IJCAI."},{"key":"9041_CR9","unstructured":"Frisch, A. M., Jefferson, C., Martinez-Hernandez, B., & Miguel, I. (2005). The rules of constraint modelling. In Proc 19th IJCAI, (pp. 109\u2013116)."},{"key":"9041_CR10","doi-asserted-by":"crossref","unstructured":"Frisch, A. M., Harvey, W., Jefferson, C., Mart\u00ecnez-Hern\u00e0ndez, B., & Miguel, I. (2008). Essence: A constraint language for specifying combinatorial problems. Constraints (this issue).","DOI":"10.1007\/s10601-008-9047-y"},{"key":"9041_CR11","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1090\/dimacs\/057\/09","volume":"57","author":"C. Gervet","year":"2001","unstructured":"Gervet, C. (2001). Large scale combinatorial optimization: A methodological viewpoint. DIMACS Discrete Mathematics and Theoretical Computer Science, 57, 151\u2013174.","journal-title":"DIMACS Discrete Mathematics and Theoretical Computer Science"},{"key":"9041_CR12","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(85)90144-6","volume":"39","author":"A. Hakin","year":"1985","unstructured":"Hakin, A. (1985). The intractability of resolution. Theoretical Computer Science, 39, 297\u2013308.","journal-title":"Theoretical Computer Science"},{"key":"9041_CR13","unstructured":"Hnich, B., Miguel, I., Gent, I. P., & Walsh, T. CSPLib: a problem library for constraints. http:\/\/www.csplib.org\/ ."},{"key":"9041_CR14","doi-asserted-by":"crossref","unstructured":"Jayaraman, B., & Tambay, P. (2002). Modeling engineering structures with constrained objects. In PADL, (pp. 28\u201346).","DOI":"10.1007\/3-540-45587-6_4"},{"key":"9041_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0215-5","volume-title":"Modeling languages in mathematical optimisation","author":"J. Kallrath","year":"2004","unstructured":"Kallrath, J. (2004). Modeling languages in mathematical optimisation. Norwell: Kluwer."},{"issue":"1","key":"9041_CR16","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(78)90029-2","volume":"10","author":"J-L. Lauriere","year":"1978","unstructured":"Lauriere, J-L. (1978). ALICE: A language and a program for stating and solving combinatorial problems. Artificial Intelligence, 10(1), 29\u2013127.","journal-title":"Artificial Intelligence"},{"key":"9041_CR17","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/S1574-6526(06)80016-7","volume-title":"Handbook of constraint programming","author":"K. Marriott","year":"2006","unstructured":"Marriott, K., Stuckey, P. J., & Wallace, M. (2006). Constraint logic programming. In Handbook of constraint programming (pp. 409\u2013452). Amsterdam: Elsevier."},{"key":"9041_CR18","first-page":"163","volume-title":"Advanced linear programming","author":"B. A. Murtagh","year":"1981","unstructured":"Murtagh, B. A. (1981). Advanced linear programming (pp. 163\u2013170). Columbus: McGraw-Hill."},{"key":"9041_CR19","first-page":"215","volume-title":"Proc. PADL 2007 Number 4354 in LNCS","author":"R. Rafeh","year":"2007","unstructured":"Rafeh, R., Garcia de la Banda, M. J., Marriott, K., & Wallace, M. (2007). From Zinc to design model. In Proc. PADL 2007 Number 4354 in LNCS (pp. 215\u2013229). New York: Springer."},{"key":"9041_CR20","volume-title":"The B-method: An introduction. Cornerstones of Computing","author":"S. Schneider","year":"2001","unstructured":"Schneider, S. (2001). The B-method: An introduction. Cornerstones of Computing. Hampshire: Palgrave."},{"key":"9041_CR21","unstructured":"Solvers that work with AMPL. http:\/\/www.ampl.com\/solvers.html ."},{"issue":"1\u20133","key":"9041_CR22","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F., & Conway, T. (1996). The execution algorithm of Mercury: an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1\u20133), 17\u201364.","journal-title":"Journal of Logic Programming"},{"key":"9041_CR23","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0004-3702(81)90007-2","volume":"16","author":"M. Stefik","year":"1981","unstructured":"Stefik, M. (1981). Planning with constraints (MOLGEN: Part 1). Artificial Intelligence, 16, 111\u2013139.","journal-title":"Artificial Intelligence"},{"key":"9041_CR24","unstructured":"Stuckey, P. J., Garc\u00eda de la Banda, M. J., Maher, M. J., Marriott, K., Slaney, J. K., Somogyi, Z., et al. (2005). The G12 project: Mapping solver independent models to efficient solutions. In CP, (pp. 13\u201316)."},{"key":"9041_CR25","volume-title":"The OPL optimization programming language","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P., Lustig, I., Michel, L. A., & Puget, J.-F. (1999). The OPL optimization programming language. Cambridge: MIT Press."},{"key":"9041_CR26","volume-title":"Constraint-based local search","author":"P. Hentenryck Van","year":"2005","unstructured":"Van Hentenryck, P. & Michel, L. (2005). Constraint-based local search. Cambridge: MIT Press."},{"issue":"1","key":"9041_CR27","first-page":"159","volume":"12","author":"M. Wallace","year":"1997","unstructured":"Wallace, M., Novello, S., & Schimpf, J. (1997). ECLiPSe\u2014a platform for constraint programming. ICL Systems Journal, 12(1), 159\u2013200.","journal-title":"ICL Systems Journal"},{"key":"9041_CR28","unstructured":"Weisstein, E. W. (1999). Perfect square dissection. From MathWorld\u2014A Wolfram Web Resource. http:\/\/mathworld.wolfram.com\/PerfectSquareDissection.html ."},{"key":"9041_CR29","doi-asserted-by":"crossref","unstructured":"Yeomans, J. (2003). Solving Einstein\u2019s riddle using spreadsheet optimisation. INFORMS Transactions on Education, 3(2).","DOI":"10.1287\/ited.3.2.55"},{"key":"9041_CR30","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1016\/0377-2217(95)00025-L","volume":"84","author":"B. J. Yuen","year":"1995","unstructured":"Yuen B. J., & Richardson K. V. (1995). Establishing the optimality of sequencing heuristics for cutting stock problems. European Journal of Operational Research, 84, 590\u2013598.","journal-title":"European Journal of Operational Research"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9041-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-008-9041-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9041-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:14:14Z","timestamp":1559243654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-008-9041-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,14]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["9041"],"URL":"https:\/\/doi.org\/10.1007\/s10601-008-9041-4","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,14]]}}}