{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T18:31:08Z","timestamp":1771612268079,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540221746","type":"print"},{"value":"9783540259381","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25938-1_18","type":"book-chapter","created":{"date-parts":[[2010,7,25]],"date-time":"2010-07-25T08:45:52Z","timestamp":1280047552000},"page":"214-232","source":"Crossref","is-referenced-by-count":13,"title":["Introducing esra, a Relational Language for Modelling Combinatorial Problems"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Flener","sequence":"first","affiliation":[]},{"given":"Justin","family":"Pearson","sequence":"additional","affiliation":[]},{"given":"Magnus","family":"\u00c5gren","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"issue":"3","key":"18_CR2","first-page":"297","volume":"15","author":"F. Ambert","year":"1996","unstructured":"Ambert, F., Legeard, B., Legros, E.: Programmation en logique avec contraintes sur ensembles et multi-ensembles h\u00e9r\u00e9ditairement finis. Techniques et Sciences Informatiques\u00a015(3), 297\u2013328 (1996)","journal-title":"Techniques et Sciences Informatiques"},{"key":"18_CR3","unstructured":"Bakewell, A., Frisch, A.M., Miguel, I.: Towards automatic modelling of constraint satisfaction problems: A system based on compositional refinement. In: Proceedings of the 2nd International Workshop on Modelling and Reformulating CSPs, pp. 3\u201317 (2003), Available at \n                    \n                      http:\/\/www-users.cs.york.ac.uk\/~frisch\/Reformulation\/03\/"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-49201-1_2","volume-title":"Practical Aspects of Declarative Languages","author":"M. Cadoli","year":"1999","unstructured":"Cadoli, M., Palopoli, L., Schaerf, A., Vasile, D.: NPSPEC: An executable specification language for solving all problems in NP. In: Gupta, G. (ed.) PADL 1999. LNCS, vol.\u00a01551, pp. 16\u201330. Springer, Heidelberg (1999)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An open-ended finite domain constraint solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-45635-X_22","volume-title":"Logic Programming","author":"M. Denecker","year":"2001","unstructured":"Denecker, M., Pelov, N., Bruynooghe, M.: Ultimate well-founded and stable semantics for logic programs with aggregates. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 212\u2013226. Springer, Heidelberg (2001)"},{"issue":"5","key":"18_CR7","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1145\/365151.365169","volume":"22","author":"A. Dovier","year":"2000","unstructured":"Dovier, A., Piazza, C., Pontelli, E., Rossi, G.: Sets and constraint logic programming. ACM Transactions on Programming Languages and Systems\u00a022(5), 861\u2013931 (2000)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR8","unstructured":"Finkel, R., Marek, V., Truszczy\u0144ski, M.: Tabular constraint-satisfaction problems and answer-set programming. In: Proceedings of the AAAI Spring Symposium on Answer-Set Programming (2001), Available at \n                    \n                      http:\/\/www.cs.nmsu.edu\/~tson\/ASP2001\/"},{"key":"18_CR9","unstructured":"Flener, P.: Towards relational modelling of combinatorial optimisation problems. In: Bessi\u00e8re, C. (ed.) Proceedings of the IJCAI 2001 Workshop on Modelling and Solving Problems with Constraints, pp. 31\u201338 (2001), Available at \n                    \n                      http:\/\/www.lirmm.fr\/~bessiere\/w_ijcai01\/"},{"key":"18_CR10","unstructured":"Flener, P., Frisch, A.M., Hnich, B., K\u0131z\u0131ltan, Z., Miguel, I., Walsh, T.: Matrix modelling: Exploiting common patterns in constraint programming. In: Proc. of the 1st Int\u2019l Workshop on Reformulating CSPs, pp. 27\u201341 (2002), Available at \n                    \n                      http:\/\/www-users.cs.york.ac.uk\/~frisch\/Reformulation\/02\/"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/3-540-45241-9_16","volume-title":"Practical Aspects of Declarative Languages","author":"P. Flener","year":"2001","unstructured":"Flener, P., Hnich, B., K\u0131z\u0131ltan, Z.: Compiling high-level type constructors in constraint programming. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 229\u2013244. Springer, Heidelberg (2001)"},{"key":"18_CR12","unstructured":"Flener, P., Pearson, J., \u00c5gren, M.: The Syntax, Semantics, and Type System of esra. Technical report, ASTRA group (April 2003), Available at \n                    \n                      http:\/\/www.it.uu.se\/research\/group\/astra\/"},{"issue":"3","key":"18_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C. Gervet","year":"1997","unstructured":"Gervet, C.: Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints\u00a01(3), 191\u2013244 (1997)","journal-title":"Constraints"},{"key":"18_CR14","first-page":"355","volume-title":"Constraint Logic Programming: Selected Research","author":"T.J. Hickey","year":"1993","unstructured":"Hickey, T.J.: Functional constraints in CLP languages. In: Benhamou, F., Colmerauer, A. (eds.) Constraint Logic Programming: Selected Research, pp. 355\u2013381. The MIT Press, Cambridge (1993)"},{"key":"18_CR15","unstructured":"Hnich, B.: Function Variables for Constraint Programming. PhD thesis, Department of Information Science, Uppsala University, Sweden (2003), Available at \n                    \n                      http:\/\/publications.uu.se\/theses\/"},{"issue":"5","key":"18_CR16","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/503271.503219","volume":"26","author":"D. Jackson","year":"2001","unstructured":"Jackson, D., Shlyakhter, I., Sridharan, M.: A micromodularity mechanism. Software Engineering Notes\u00a026(5), 62\u201373 (2001); Proceedings of FSE\/ESEC 2001","journal-title":"Software Engineering Notes"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/A:1020565317875","volume":"7","author":"F. Laburthe","year":"2002","unstructured":"Laburthe, F., Caseau, Y.: salsa: A language for search algorithms. Constraints\u00a07, 255\u2013288 (2002)","journal-title":"Constraints"},{"issue":"1","key":"18_CR18","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(78)90029-2","volume":"10","author":"J.-L. Lauri\u00e8re","year":"1978","unstructured":"Lauri\u00e8re, J.-L.: A language and a program for stating and solving combinatorial problems. Artificial Intelligence\u00a010(1), 29\u2013127 (1978)","journal-title":"Artificial Intelligence"},{"key":"18_CR19","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic (forthcoming), Available at \n                    \n                      http:\/\/arxiv.org\/ps\/cs.AI\/0211004"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/3-540-46135-3_33","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"D. Lesaint","year":"2002","unstructured":"Lesaint, D.: Inferring constraint types in constraint programming. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 492\u2013507. Springer, Heidelberg (2002)"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence\u00a0138, 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"18_CR22","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF00143877","volume":"1","author":"S. Minton","year":"1996","unstructured":"Minton, S.: Automatically configuring constraint satisfaction programs: A case study. Constraints\u00a01(1-2), 7\u201343 (1996)","journal-title":"Constraints"},{"issue":"3-4","key":"18_CR23","first-page":"241","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and AI\u00a025(3-4), 241\u2013273 (1999)","journal-title":"Annals of Mathematics and AI"},{"key":"18_CR24","first-page":"235","volume-title":"Proceedings of PPDP 2000","author":"N. Pelov","year":"2000","unstructured":"Pelov, N., Bruynooghe, M.: Extending constraint logic programming with open functions. In: Proceedings of PPDP 2000, pp. 235\u2013244. ACM Press, New York (2000)"},{"key":"18_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-24609-1_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N. Pelov","year":"2003","unstructured":"Pelov, N., Denecker, M., Bruynooghe, M.: Partial stable models for logic programs with aggregates. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 207\u2013219. Springer, Heidelberg (2003)"},{"key":"18_CR26","unstructured":"Pesant, G.: A regular language membership constraint for sequences of variables. In: Proceedings of the 2nd International Workshop on Modelling and Reformulating CSPs, pp. 110\u2013119 (2003), Available at \n                    \n                      http:\/\/www-users.cs.york.ac.uk\/~frisch\/Reformulation\/03\/"},{"key":"18_CR27","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)"},{"key":"#cr-split#-18_CR28.1","unstructured":"Smith, B.M.: Modelling a permutation problem. Technical Report 18, School of Computing, University of Leeds, UK (2000);"},{"key":"#cr-split#-18_CR28.2","unstructured":"Also in Proceedings of the ECAI 2000 Workshop on Modelling and Solving Problems with Constraints"},{"key":"18_CR29","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"18_CR30","unstructured":"Tsang, E., Mills, P., Williams, R., Ford, J., Borrett, J.: A computer-aided constraint programming system. In: Little, J. (ed.) Proceedings of PACLP 1999, pp. 81\u201393. The Practical Application Company (1999)"},{"key":"18_CR31","volume-title":"The OPL Optimization Programming Language","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization Programming Language. The MIT Press, Cambridge (1999)"},{"key":"18_CR32","first-page":"277","volume-title":"Proceedings of IJCAI 2003","author":"P. Hentenryck Van","year":"2003","unstructured":"Van Hentenryck, P., Flener, P., Pearson, J., \u00c5gren, M.: Tractable symmetry breaking for CSPs with interchangeable values. In: Proceedings of IJCAI 2003, pp. 277\u2013282. Morgan Kaufmann, San Francisco (2003)"},{"key":"18_CR33","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/3-540-45653-8_26","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"T. Walsh","year":"2001","unstructured":"Walsh, T.: Permutation problems and channelling constraints. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 377\u2013391. Springer, Heidelberg (2001)"},{"key":"18_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/978-3-540-45193-8_49","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"T. Walsh","year":"2003","unstructured":"Walsh, T.: Consistency and propagation with multiset constraints: A formal viewpoint. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 724\u2013738. Springer, Heidelberg (2003)"},{"key":"18_CR35","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading (1999)"},{"key":"18_CR36","unstructured":"Wrang, S.: Implementation of the ESRA Constraint Modelling Language. Master\u2019s thesis, Master\u2019s Thesis in Computing Science 223, Department of Information Technology, Uppsala University, Sweden (2002), Available at \n                    \n                      ftp:\/\/ftp.csd.uu.se\/pub\/papers\/masters-theses\/"},{"issue":"1-3","key":"18_CR37","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.: Introduction to the constraint language NCL. Journal of Logic Programming\u00a045(1-3), 71\u2013103 (2000)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25938-1_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:58:55Z","timestamp":1605743935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25938-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221746","9783540259381"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25938-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}