{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:10:45Z","timestamp":1767237045042},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,5,9]],"date-time":"2010-05-09T00:00:00Z","timestamp":1273363200000},"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":[[2010,7]]},"DOI":"10.1007\/s10601-010-9093-0","type":"journal-article","created":{"date-parts":[[2010,5,8]],"date-time":"2010-05-08T07:24:56Z","timestamp":1273303496000},"page":"307-316","source":"Crossref","is-referenced-by-count":25,"title":["Philosophy of the MiniZinc challenge"],"prefix":"10.1007","volume":"15","author":[{"given":"Peter J.","family":"Stuckey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralph","family":"Becket","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Fischer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,5,9]]},"reference":[{"key":"9093_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":"9093_CR2","unstructured":"Fourth international CSP solver competition (2009). http:\/\/www.cril.univ-artois.fr\/CPAI09\/ ."},{"key":"9093_CR3","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/978-3-540-85958-1_10","volume-title":"14th int. conf. on principles and practice of constraint programming (CP\u201908), LNCS (Vol. 5202)","author":"J Huang","year":"2008","unstructured":"Huang, J. (2008). Universal booleanization of constraint models. In P. Stuckey (Ed.), 14th int. conf. on principles and practice of constraint programming (CP\u201908), LNCS (Vol. 5202, pp. 144\u2013158). Heidelberg: Springer."},{"key":"9093_CR4","unstructured":"JaCoP Java Constraint Programming Solver (2010). http:\/\/jacop.osolpro.com\/ ."},{"key":"9093_CR5","unstructured":"Minizinc challenge (2009). http:\/\/www.g12.csse.unimelb.edu.au\/minizinc\/challenge2009\/challenge.html ."},{"key":"9093_CR6","unstructured":"Minizinc + Flatzinc (2010). http:\/\/www.g12.csse.unimelb.edu.au\/minizinc\/ ."},{"key":"9093_CR7","first-page":"529","volume-title":"Proceedings of the 13th international conference on principles and practice of constraint programming, LNCS (Vol. 4741)","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P., Becket, R., Brand, S., Duck, G., & Tack, G. (2007). Minizinc: Towards a standard CP modelling language. In C. Bessiere (Ed.), Proceedings of the 13th international conference on principles and practice of constraint programming, LNCS (Vol. 4741, pp. 529\u2013543). Heidelberg: Springer."},{"key":"9093_CR8","unstructured":"SCIP (2010). Solving constraint integer programs. http:\/\/scip.zib.de\/scip.shtml ."},{"key":"9093_CR9","unstructured":"Schulte, C., Lagerkvist, M., & Tack, G. (2010). Gecode. http:\/\/www.gecode.org\/ ."},{"key":"9093_CR10","unstructured":"SICStus Prolog (2010). http:\/\/www.sics.se\/sisctus\/ ."},{"key":"9093_CR11","first-page":"104","volume-title":"Proceedings of the 15th international conference on principles and practice of constraint programming, LNCS (Vol. 5732)","author":"H Simonis","year":"2009","unstructured":"Simonis, H. (2009). A hybrid constraint model fo the routing and wavelength assignment problem. In I. Gent (Ed.), Proceedings of the 15th international conference on principles and practice of constraint programming, LNCS (Vol. 5732, pp. 104\u2013118). Heidelberg: Springer."},{"key":"9093_CR12","unstructured":"Smith, B., & Gent, I. (2005). Constraint modelling challenge 2005. www.cs.st-andrews.ac.uk\/~ipg\/challenge\/ ."},{"key":"9093_CR13","unstructured":"Third international CSP solver competition (2008). http:\/\/www.cril.univ-artois.fr\/CPAI08\/ ."},{"key":"9093_CR14","unstructured":"Van Gelder, A., Le Berre, D., Biere, A., Kullmann, O., & Simon, L. (2005). Purse-based scoring for comparison of exponential-time programs. http:\/\/users.soe.ucsc.edu\/~avg\/purse-poster.pdf ."},{"key":"9093_CR15","unstructured":"XCSP 2.1 (2008). http:\/\/www.cril.univ-artois.fr\/CPAI08\/XCSP2_1.pdf ."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-010-9093-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-010-9093-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-010-9093-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:14:15Z","timestamp":1559229255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-010-9093-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,9]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["9093"],"URL":"https:\/\/doi.org\/10.1007\/s10601-010-9093-0","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,9]]}}}