{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T23:35:44Z","timestamp":1783812944448,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540749691","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74970-7_38","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T23:49:08Z","timestamp":1191973748000},"page":"529-543","source":"Crossref","is-referenced-by-count":426,"title":["MiniZinc: Towards a Standard CP Modelling Language"],"prefix":"10.1007","author":[{"given":"Nicholas","family":"Nethercote","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ralph","family":"Becket","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Brand","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gregory J.","family":"Duck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guido","family":"Tack","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"Schulte, C., Lagerkvist, M., Tack, G.: Gecode, \n                    \n                      http:\/\/www.gecode.org\/"},{"key":"38_CR2","volume-title":"Constraint Logic Programming using Eclipse","author":"K. Apt","year":"2006","unstructured":"Apt, K., Wallace, M.: Constraint Logic Programming using Eclipse. Cambridge University Press, Cambridge (2006)"},{"key":"38_CR3","unstructured":"ILOG: ILOG Solver, \n                    \n                      http:\/\/www.ilog.com\/products\/solver\/"},{"key":"38_CR4","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast, scalable constraint solver. In: Proceedings of ECAI 2006, Riva del Garda, Italy (August 2006)"},{"key":"38_CR5","unstructured":"Laburthe, F.: CHOCO: implementing a CP kernel. In: Proceedings of TRICS 2000, Singapore, pp. 71\u201385 (2000)"},{"key":"38_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/978-3-540-48085-3_36","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 1999","author":"I.P. Gent","year":"1999","unstructured":"Gent, I.P., Walsh, T.: CSPLIB: a benchmark library for constraints. In: Jaffar, J. (ed.) Principles and Practice of Constraint Programming \u2013 CP 1999. LNCS, vol.\u00a01713, pp. 480\u2013481. Springer, Heidelberg (1999)"},{"key":"38_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/11799573_10","volume-title":"Logic Programming","author":"S. Brand","year":"2006","unstructured":"Brand, S., Yap, R.H.: Towards \u201cPropagation = Logic + Control\u201d. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 102\u2013116. Springer, Heidelberg (2006)"},{"key":"38_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/11799573_11","volume-title":"Logic Programming","author":"G. Duck","year":"2006","unstructured":"Duck, G., Stuckey, P., Brand, S.: ACD term rewriting. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 117\u2013131. Springer, Heidelberg (2006)"},{"key":"38_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1007\/11889205_54","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"G.M. Banda de la","year":"2006","unstructured":"de la Banda, G.M., Marriott, K., Rafeh, R., Wallace, M.: The modelling language Zinc. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 700\u2013705. Springer, Heidelberg (2006)"},{"key":"38_CR10","unstructured":"Frisch, A.M., Grum, M., Jefferson, C., Hernandez, B.M., Miguel, I.: The design of ESSENCE: A constraint language for specifying combinatorial problems. In: Proceedings of IJCAI 2007, Hyderabad, India (January 2007)"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Flener, P., Pearson, J., \u00c5gren, M.: Introducing ESRA, a relational language for modelling combinatorial problems. In: Proceedings of LOPSTR 2003, Uppsala, Sweden, pp. 214\u2013232 (August 2003)","DOI":"10.1007\/978-3-540-45193-8_95"},{"key":"38_CR12","volume-title":"The OPL Optimization Programming Language","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1999)"},{"key":"38_CR13","unstructured":"Wallace, M.: Personal communication (January 2007)"},{"key":"38_CR14","unstructured":"van Dongen, M., et\u00a0al.: Second international CSP solver competition, \n                    \n                      http:\/\/cpai.ucc.ie\/06\/Competition.html"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74970-7_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:49:19Z","timestamp":1619520559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74970-7_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749691"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74970-7_38","relation":{},"subject":[]}}