{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:53:35Z","timestamp":1773939215125,"version":"3.50.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,6,21]],"date-time":"2008-06-21T00:00:00Z","timestamp":1214006400000},"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-9047-y","type":"journal-article","created":{"date-parts":[[2008,6,20]],"date-time":"2008-06-20T06:44:21Z","timestamp":1213944261000},"page":"268-306","source":"Crossref","is-referenced-by-count":82,"title":["Essence: A constraint language for specifying combinatorial problems"],"prefix":"10.1007","volume":"13","author":[{"given":"Alan M.","family":"Frisch","sequence":"first","affiliation":[]},{"given":"Warwick","family":"Harvey","sequence":"additional","affiliation":[]},{"given":"Chris","family":"Jefferson","sequence":"additional","affiliation":[]},{"given":"Bernadette","family":"Mart\u00ednez-Hern\u00e1ndez","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Miguel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,6,21]]},"reference":[{"key":"9047_CR1","first-page":"421","volume-title":"Constraint logic programming: Selected research","author":"A. Aggoun","year":"1993","unstructured":"Aggoun, A., & Beldiceanu, N. (1993). Overview of the CHIP compiler system. In F.\u00a0Benhamou, A.\u00a0Colmerauer (Eds.), Constraint logic programming: Selected research (pp. 421\u2013436). London: MIT."},{"key":"9047_CR2","volume-title":"GAMS: A users\u2019 guide","author":"A. Brooke","year":"1988","unstructured":"Brooke, A., Kendrick, D., & Meeraus, A. (1988). GAMS: A users\u2019 guide. Danvers: Scientific."},{"key":"9047_CR3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0096-0551(01)00010-8","volume":"26","author":"M. Cadoli","year":"2000","unstructured":"Cadoli, M., Ianni, G., Palopoli, L., Schaerf, A., & Vasile, D. (2000). NP-SPEC: An executable specification language for solving all problems in NP. Computer Languages, 26, 165\u2013195.","journal-title":"Computer Languages"},{"key":"9047_CR4","unstructured":"Cheadle, A. M., Harvey, W., Sadler, A.\u00a0J., Schimpf, J., Shen, K., & Wallace, M. G. (2003). ECLiPSe: An introduction. Technical report, IC-Parc-03-1. Imperial College London."},{"key":"9047_CR5","unstructured":"Flener, P., Frisch, A. M., Hnich, B., K\u0131z\u0131ltan, Z., Miguel, I., Walsh, T. (2001). Matrix modelling. In Proceedings of the CP\u201901 workshop on modelling and problem formulation (pp.\u00a01\u20137)."},{"key":"9047_CR6","doi-asserted-by":"crossref","unstructured":"Flener, P., Pearson, J., & Agren, M. (2004). Introducing ESRA, a relational language for modelling combinatorial problems. In Proceedings of LOPSTR \u201903: Revised selected papers (Vol.\u00a03018). Lecture notes in computer science.","DOI":"10.1007\/978-3-540-25938-1_18"},{"key":"9047_CR7","volume-title":"AMPL: A modeling language for mathematical programming","author":"R. Fourer","year":"2003","unstructured":"Fourer, R., Gay, D.\u00a0M., & Kernighan, B.\u00a0W. (2003). AMPL: A modeling language for mathematical programming (2nd ed.). Pacific Grove: Thomson\/Brooks\/Cole.","edition":"2"},{"key":"9047_CR8","unstructured":"Frisch, A.\u00a0M., Grum, M., Jefferson, C., Mart\u00ednez Hern\u00e1ndez, B., & Miguel, I. (2005). The essence of Essence: A language for specifying combinatorial problems. In Proc. of the 4th int. workshop on modelling and reformulating constraint satisfaction problems (pp.\u00a073\u201388)."},{"key":"9047_CR9","unstructured":"Frisch, A.\u00a0M., Grum, M., Jefferson, C., Mart\u00ednez Hern\u00e1ndez, B., & Miguel, I. (2007). The design of Essence: A language for specifying combinatorial problems. In Proc. of the twentieth int. joint conf. on artificial intelligence."},{"key":"9047_CR10","doi-asserted-by":"crossref","unstructured":"Frisch, A.\u00a0M., Hnich, B., Miguel, I., Smith, B.\u00a0M., & Walsh, T. (2005). Transforming and refining abstract constraint specifications. In Proceedings of the sixth symposium on abstraction, reformulation and approximation. Lecture notes in computer science (Vol. 3607, pp.\u00a076\u201391). Springer.","DOI":"10.1007\/11527862_6"},{"key":"9047_CR11","unstructured":"Frisch, A.\u00a0M., Jefferson, C., Mart\u00ednez Hern\u00e1ndez, B., & Miguel, I. (2005). The rules of constraint modelling. In Proc. of the nineteenth int. joint conf. on artificial intelligence (pp.\u00a0109\u2013116)."},{"key":"9047_CR12","unstructured":"Frisch, A.\u00a0M., Jefferson, C., Martinez-Hernandez, B., & Miguel, I. (2007). Symmetry in the generation of constraint models. In Proceedings of the international symmetry conference."},{"key":"9047_CR13","unstructured":"Frisch, A.\u00a0M., & Miguel, I. (2006). The concept and provenance of unnamed, indistinguishable types. www.cs.york.ac.uk\/aig\/constraints\/AutoModel\/ . Accessed September 2007."},{"key":"9047_CR14","volume-title":"Computers and intractability","author":"M. R. Garey","year":"1979","unstructured":"Garey, M.\u00a0R., & Johnson, D.\u00a0S. (1979). Computers and intractability. San Francisco: W. H. Freeman."},{"key":"9047_CR15","unstructured":"Gent, I.\u00a0P., Jefferson, C., Miguel, I. (2006). Minion: Lean, fast constraint solving. In Proceedings of the 17th European conference on artifical intelligence."},{"key":"9047_CR16","doi-asserted-by":"crossref","unstructured":"Gent, I.\u00a0P., Miguel, I., & Rendl, A. (2007). Tailoring solver-independent constraint models: A case study with Essence\u2032 and Minion. In Proceedings of the 7th international symposium on abstraction, reformulation and approximation (pp.\u00a018\u201321).","DOI":"10.1007\/978-3-540-73580-9_16"},{"key":"9047_CR17","first-page":"339","volume-title":"Logic programming \u2014 proc. of the 1994 international symposium","author":"C. Gervet","year":"1994","unstructured":"Gervet, C. (1994). Conjunto: Constraint logic programming with finite set domains. In M. Bruynooghe (Ed.), Logic programming \u2014 proc. of the 1994 international symposium (pp.\u00a0339\u2013358). London: MIT."},{"key":"9047_CR18","unstructured":"Hnich, B. (2003). Function Variables for Constraint Programming. Ph.D. thesis, Computer Science Division, Dept. of Information Science, Uppsala University."},{"key":"9047_CR19","unstructured":"ILOG (2006) ILOG Solver 6.3 user manual. ILOG, S.A., Gentilly."},{"key":"9047_CR20","volume-title":"Software abstractions: Logic, language, and snalysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D. (2006). Software abstractions: Logic, language, and snalysis. London: MIT."},{"issue":"1","key":"9047_CR21","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":"9047_CR22","doi-asserted-by":"crossref","unstructured":"Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P.\u00a0J., De la\u00a0Banda, M.\u00a0G., & Wallace, M. (2008). The design of the Zinc modelling language. Constraints, This Volume.","DOI":"10.1007\/s10601-008-9041-4"},{"key":"9047_CR23","unstructured":"Marriott, K., Rafeh, R., Wallace, M., Garcia de la Banda, M., & Nethercote, N. (2006). Zinc 0.1: Language and libraries. Technical report, Monash University."},{"issue":"1\/2","key":"9047_CR24","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1023\/A:1009818401322","volume":"5","author":"L. Michel","year":"2000","unstructured":"Michel, L., & Van Hentenryck, P. (2000). Localizer. Constraints, 5(1\/2), 43\u201384.","journal-title":"Constraints"},{"key":"9047_CR25","unstructured":"Mills, P., Tsang, E. P. K., Williams, R., Ford, J., Borrett, J. (1999). EaCL 1.5: An easy abstract constraint optimisation programming language. Technical report, University of Essex, Colchester, UK, December."},{"key":"9047_CR26","doi-asserted-by":"crossref","unstructured":"Mitchell, D., & Ternovska, E. (2008). Expressive power and abstraction in Essence. Constraints, This Volume.","DOI":"10.1007\/s10601-008-9050-3"},{"key":"9047_CR27","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Stuckey, P.\u00a0J., Becket, R., Brand, S., Duck, G.\u00a0J., & Tack G. (2007). Minizinc: Towards a standard CP modelling language. In Proceedings of the 13th international conference on principles and practice of constraint programming (pp.\u00a0529\u2013543).","DOI":"10.1007\/978-3-540-74970-7_38"},{"key":"9047_CR28","unstructured":"Regin, J-C. (1996). Generalized arc consistency for global cardinality constraint. In Proceedings of the 13th conference on artificial intelligence (pp.\u00a0209\u2013215)."},{"key":"9047_CR29","doi-asserted-by":"crossref","unstructured":"Renker, G., & Ahriz, H. (2004). Building models through formal specification. In Proc of the first int. conf. on the integration of AI and OR techniques in constraint programming for combinatorial optimization problems, Lecture notes in computer science (Vol.\u00a03011, pp.\u00a0395\u2013401). Springer.","DOI":"10.1007\/978-3-540-24664-0_29"},{"key":"9047_CR30","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1093\/imaman\/1.4.267","volume":"1","author":"R. V. Simons","year":"1987","unstructured":"Simons, R.\u00a0V. (1987). Mathematical programming modeling using MGG. IMA Journal of Mathematics in Management, 1, 267\u2013276.","journal-title":"IMA Journal of Mathematics in Management"},{"issue":"1","key":"9047_CR31","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"J. M. Spivey","year":"1989","unstructured":"Spivey, J.\u00a0M. (1989). An introduction to Z and formal specifications. Software Engineering Journal, 4(1), 40\u201350.","journal-title":"Software Engineering Journal"},{"key":"9047_CR32","volume-title":"The OPL optimization programming language","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P. (1999). The OPL optimization programming language. London: MIT."},{"issue":"1","key":"9047_CR33","first-page":"159","volume":"12","author":"M. G. Wallace","year":"1997","unstructured":"Wallace, M.\u00a0G., Novello, S., & Schimpf, J. (1997). ECLiPSe: A platform for constraint logic programming. ICL Systems Journal, 12(1), 159\u2013200.","journal-title":"ICL Systems Journal"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9047-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-008-9047-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9047-y","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-9047-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,21]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["9047"],"URL":"https:\/\/doi.org\/10.1007\/s10601-008-9047-y","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,6,21]]}}}