{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T20:48:54Z","timestamp":1759178934819,"version":"3.37.3"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2020,2,6]],"date-time":"2020-02-06T00:00:00Z","timestamp":1580947200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,6]],"date-time":"2020-02-06T00:00:00Z","timestamp":1580947200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1007\/s10601-019-09307-9","type":"journal-article","created":{"date-parts":[[2020,2,6]],"date-time":"2020-02-06T06:02:46Z","timestamp":1580968966000},"page":"47-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["XCSP3 and its ecosystem"],"prefix":"10.1007","volume":"25","author":[{"given":"Gilles","family":"Audemard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Boussemart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2205-6545","authenticated-orcid":false,"given":"Christophe","family":"Lecoutre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9dric","family":"Piette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Roussel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,6]]},"reference":[{"key":"9307_CR1","doi-asserted-by":"crossref","unstructured":"Akgun, O., Frisch, A., Gent, I., Hussain, B., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, P. (2013). Automated symmetry breaking and model selection in Conjure. In Proceedings of CP\u201913 (pp. 107\u2013116).","DOI":"10.1007\/978-3-642-40627-0_11"},{"key":"9307_CR2","unstructured":"Becket, R. Specification of FlatZinc (2014) Technical report, G12. http:\/\/www.minizinc.org\/downloads\/doc-1.6\/flatzinc-spec.pdf."},{"issue":"12","key":"9307_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"20","author":"N Beldiceanu","year":"1994","unstructured":"Beldiceanu, N., & Contejean, E. (1994). Introducing global constraints in CHIP. Mathematical and Computer Modelling, 20(12), 97\u2013123.","journal-title":"Mathematical and Computer Modelling"},{"key":"9307_CR4","unstructured":"Benedetti, M., Lallouet, A., Vautard, J. (2007). QCSP made practical by virtue of restricted quantification. In Proceedings of IJCAI\u201907 (pp. 6\u201312)."},{"issue":"1","key":"9307_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10601-009-9080-5","volume":"16","author":"C Bessiere","year":"2011","unstructured":"Bessiere, C., Cardon, S., Debruyne, R., Lecoutre, C. (2011). Efficient algorithms for singleton arc consistency. Constraints, 16(1), 25\u201353.","journal-title":"Constraints"},{"key":"9307_CR6","unstructured":"Bessiere, C., Hebrard, E., Hnich, B., Kiziltan, Z., Walsh, T. (2008). SLIDE A useful special case of the CARDPATH constraint. In Proceedings of ECAI\u201908 (pp. 475\u2013479)."},{"key":"9307_CR7","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0004-3702(02)00263-1","volume":"141","author":"C Bessiere","year":"2002","unstructured":"Bessiere, C., Meseguer, P., Freuder, E. C., Larrosa, J. (2002). On Forward Checking for non-binary constraint satisfaction. Artificial Intelligence, 141, 205\u2013224.","journal-title":"Artificial Intelligence"},{"key":"9307_CR8","doi-asserted-by":"crossref","unstructured":"Bordeaux, L., & Monfroy, E. (2002). Beyond NP Arc-Consistency for quantified constraints. In Proceedings of CP\u201902 (pp. 371\u2013386).","DOI":"10.1007\/3-540-46135-3_25"},{"key":"9307_CR9","unstructured":"Boussemart, F., Hemery, F., Lecoutre, C., Sais, L. (2004). Boosting systematic search by weighting constraints. In Proceedings of ECAI\u201904 (pp. 146\u2013150)."},{"key":"9307_CR10","unstructured":"Boussemart, F., Lecoutre, C., Audemard, G., Piette, C. (2016). XCSP3: an integrated format for benchmarking combinatorial constrained problems. CoRR, arXiv:1611.03398."},{"key":"9307_CR11","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/S0377-2217(82)80007-6","volume":"11","author":"J Carlier","year":"1982","unstructured":"Carlier, J. (1982). The one-machine sequencing problem. European Journal of Operational Research, 11, 42\u201347.","journal-title":"European Journal of Operational Research"},{"key":"9307_CR12","doi-asserted-by":"crossref","unstructured":"Carlsson, M., & Beldiceanu, N. (2004). From constraints to finite automata to filtering algorithms. In Proceedings of ESOP\u201904 (pp. 94\u2013108).","DOI":"10.1007\/978-3-540-24725-8_8"},{"key":"9307_CR13","unstructured":"Dechter, R. (2003). Constraint processing: Morgan Kaufmann."},{"key":"9307_CR14","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/0004-3702(94)90022-1","volume":"65","author":"B Faltings","year":"1994","unstructured":"Faltings, B. (1994). Arc consistency for continuous variables. Artificial Intelligence, 65, 363\u2013376.","journal-title":"Artificial Intelligence"},{"key":"9307_CR15","doi-asserted-by":"crossref","unstructured":"Feydy, T., Somogyi, Z., Stuckey, P. (2011). Half reification and flattening. In Proceedings of CP\u201911 (pp. 286\u2013301).","DOI":"10.1007\/978-3-642-23786-7_23"},{"key":"9307_CR16","unstructured":"Flener, P., Pearson, J., \u00c5gren, M. (2004). Introducing ESRA, a relational language for modelling combinatorial problems. In LOPSTR\u201903: Revised Selected Papers (pp. 214\u2013232)."},{"key":"9307_CR17","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 Proceedings of IJCAI\u201907 (pp. 80\u201387)."},{"issue":"3","key":"9307_CR18","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/s10601-008-9047-y","volume":"13","author":"A Frisch","year":"2008","unstructured":"Frisch, A., Harvey, W., Jefferson, C., Mart\u00ednez Hern\u00e1ndez, B., Miguel, I. (2008). Essence: A constraint language for specifying combinatorial problems. Constraints, 13(3), 268\u2013306.","journal-title":"Constraints"},{"issue":"10","key":"9307_CR19","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1016\/j.artint.2006.03.002","volume":"170","author":"A Frisch","year":"2006","unstructured":"Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T. (2006). Propagation algorithms for lexicographic ordering constraints. Artificial Intelligence, 170(10), 803\u2013834.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"9307_CR20","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C Gervet","year":"1997","unstructured":"Gervet, C. (1997). Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints, 1(3), 191\u2013244.","journal-title":"Constraints"},{"key":"9307_CR21","unstructured":"Gervet, C. (2006). Constraints over structured domains. In Handbook of Constraint Programming, chapter 17 (pp. 603\u2013636): Elsevier."},{"key":"9307_CR22","doi-asserted-by":"crossref","unstructured":"Hebrard, E., O\u2019Mahony, E., O\u2019Sullivan, B. (2010). Constraint programming and combinatorial optimisation in Numberjack. In Proceedings of CPAIOR\u201910 (pp. 181\u2013185).","DOI":"10.1007\/978-3-642-13520-0_22"},{"key":"9307_CR23","unstructured":"Hnich, B., Kiziltan, Z., Walsh, T. CSPLib Problem 030: Balanced academic curriculum problem. http:\/\/www.csplib.org\/Problems\/prob030."},{"key":"9307_CR24","unstructured":"Hoos, H. CSPLib Problem 007: All-interval series. http:\/\/www.csplib.org\/Problems\/prob007."},{"key":"9307_CR25","unstructured":"Hwang, J., & Mitchell, D.G. (2005). 2-way vs d-way branching for CSP. In Proceedings of CP\u201905 (pp. 343\u2013357)."},{"key":"9307_CR26","unstructured":"Jefferson, C., Miguel, I., Hnich, B., Walsh, T., Gent, I. (1999). CSPLib A problem library for constraints http:\/\/www.csplib.org."},{"key":"9307_CR27","doi-asserted-by":"crossref","unstructured":"Katsirelos, G., & Walsh, T. (2007). A compression algorithm for large arity extensional constraints. In Proceedings of CP\u201907 (pp. 379\u2013393).","DOI":"10.1007\/978-3-540-74970-7_28"},{"key":"9307_CR28","unstructured":"Larrosa, J. (2002). Node and arc consistency in weighted CSP. In Proceedings of AAAI\u201902 (pp. 48\u201353)."},{"key":"9307_CR29","unstructured":"Lecoutre, C. MCSP3: Easy modeling for everybody (2018) Technical report, CRIL. https:\/\/github.com\/xcsp3team\/XCSP3-Java-Tools\/tree\/master\/doc."},{"key":"9307_CR30","unstructured":"Lecoutre, C., & Roussel, O. Proceedings of the 2018 XCSP3 competition (2018) Technical report, CRIL, https:\/\/www.cril.univ-artois.fr\/~lecoutre\/papers\/XCSP3_2018_Proceedings.pdf."},{"key":"9307_CR31","doi-asserted-by":"crossref","unstructured":"Ligozat, G., & Renz, J. (2004). What is a qualitative calculus? a general framework. In Proceedings of PRICAI\u201904 (pp. 53\u201364).","DOI":"10.1007\/978-3-540-28633-2_8"},{"key":"9307_CR32","doi-asserted-by":"crossref","unstructured":"Mairy, J. B., Deville, Y., Lecoutre, C. (2015). The smart table constraint. In Proceedings of CPAIOR\u201915 (pp. 271\u2013287).","DOI":"10.1007\/978-3-319-18008-3_19"},{"issue":"3","key":"9307_CR33","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10601-008-9041-4","volume":"13","author":"K Marriott","year":"2008","unstructured":"Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P., Garcia de la Banda, M., Wallace, M. (2008). The design of the Zinc modelling language. Constraints, 13(3), 229\u2013267.","journal-title":"Constraints"},{"key":"9307_CR34","doi-asserted-by":"crossref","unstructured":"Meseguer, P., Rossi, F., Schiex, T. (2006). Soft constraints. In Handbook of Constraint Programming, chapter 9 (pp. 281\u2013328); Elsevier.","DOI":"10.1016\/S1574-6526(06)80013-1"},{"key":"9307_CR35","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U Montanari","year":"1974","unstructured":"Montanari, U. (1974). Network of constraints: Fundamental properties and applications to picture processing. Information Science, 7, 95\u2013132.","journal-title":"Information Science"},{"key":"9307_CR36","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Stuckey, P., Becket, R., Brand, S., Duck, G., Tack, G. (2007). MiniZinc Towards a standard CP modelling language. In Proceedings of CP\u201907 (pp. 529\u2013543).","DOI":"10.1007\/978-3-540-74970-7_38"},{"key":"9307_CR37","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.artint.2017.07.001","volume":"251","author":"P Nightingale","year":"2017","unstructured":"Nightingale, P., Akg\u00fcn, O., Gent, I., Jefferson, C., Miguel, I., Spracklen, P. (2017). Automatically improving constraint models in Savile Row. Artificial Intelligence, 251, 35\u201361.","journal-title":"Artificial Intelligence"},{"key":"9307_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.3749","volume":"46","author":"P Nightingale","year":"2013","unstructured":"Nightingale, P., Gent, I. P., Jefferson, C., Miguel, I. (2013). Short and long supports for constraint propagation. Journal of Artificial Intelligence Research, 46, 1\u201345.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9307_CR39","unstructured":"Nightingale, P., & Rendl, A. (2016). Essence\u2019 description. Technical Report arXiv:1601.02865, coRR."},{"key":"9307_CR40","unstructured":"OscaR Team. OscaR: Scala in OR, 2012. Available from https:\/\/bitbucket.org\/oscarlib\/oscar."},{"key":"9307_CR41","doi-asserted-by":"crossref","unstructured":"Pesant, G. (2004). A regular language membership constraint for finite sequences of variables. In Proceedings of CP\u201904 (pp. 482\u2013495).","DOI":"10.1007\/978-3-540-30201-8_36"},{"key":"9307_CR42","unstructured":"Roussel, O., & Lecoutre, C. (2009). XML representation of constraint networks Format XCSP 2.1. Technical Report arXiv:0902.2362 coRR."},{"issue":"1","key":"9307_CR43","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s10601-012-9133-z","volume":"18","author":"C Schulte","year":"2013","unstructured":"Schulte, C., & Tack, G. (2013). View-based propagator derivation. Constraints, 18(1), 75\u2013107.","journal-title":"Constraints"},{"key":"9307_CR44","unstructured":"The Choco Team. (2008). Choco: an open source Java constraint programming library. In van Dongen, M.R.C., Lecoutre, C., Roussel, O. (Eds.) Proceedings of the third constraint solver competition. http:\/\/www.cril.univ-artois.fr\/CPAI08\/Competition-08.pdf (pp. 8\u201314)."},{"key":"9307_CR45","unstructured":"Tsang, E., Mills, P., Williams, R., Ford, J., Borrett, J. (1999). A computer-aided constraint programming system. In Proceedings of PACLP\u201999 (pp. 81\u201393)."},{"key":"9307_CR46","unstructured":"van Dongen, M.R.C., Lecoutre, C., Roussel, O. (eds.) (2008). Proceedings of the third constraint solver competition. http:\/\/www.cril.univ-artois.fr\/CPAI08\/Competition-08.pdf."},{"key":"9307_CR47","unstructured":"van Hentenryck, P. (1999). The OPL Optimization Programming Language: The MIT Press."},{"key":"9307_CR48","unstructured":"World Wide Web Consortium (W3C) (1997). Extensible Markup Language (XML) http:\/\/www.w3.org\/XML\/."},{"key":"9307_CR49","unstructured":"Walsh, T. (2002). Stochastic constraint programming. In Proceedings of ECAI\u201902 (pp. 111\u2013115)."},{"key":"9307_CR50","doi-asserted-by":"crossref","unstructured":"Yokoo, M. (2001). Distributed constraint satisfaction: Springer.","DOI":"10.1007\/978-3-642-59546-2"},{"issue":"1-3","key":"9307_CR51","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0743-1066(99)00063-1","volume":"45","author":"J Zhou","year":"2000","unstructured":"Zhou, J. (2000). Introduction to the constraint language NCL. Journal of Logic Programming, 45(1-3), 71\u2013103.","journal-title":"Journal of Logic Programming"},{"key":"9307_CR52","unstructured":"Zhou, N.F., Kjellerstrand, H., Fruhman, J. (2017). Constraint solving and planning with picat: Springer."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-019-09307-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-019-09307-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-019-09307-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,5]],"date-time":"2021-02-05T02:04:58Z","timestamp":1612490698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-019-09307-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,6]]},"references-count":52,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["9307"],"URL":"https:\/\/doi.org\/10.1007\/s10601-019-09307-9","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2020,2,6]]},"assertion":[{"value":"6 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}