{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:11:41Z","timestamp":1725559901982},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278726"},{"type":"electronic","value":"9783540318828"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11527862_6","type":"book-chapter","created":{"date-parts":[[2010,7,20]],"date-time":"2010-07-20T19:48:01Z","timestamp":1279655281000},"page":"76-91","source":"Crossref","is-referenced-by-count":3,"title":["Transforming and Refining Abstract Constraint Specifications"],"prefix":"10.1007","author":[{"given":"Alan M.","family":"Frisch","sequence":"first","affiliation":[]},{"given":"Brahim","family":"Hnich","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Miguel","sequence":"additional","affiliation":[]},{"given":"Barbara M.","family":"Smith","sequence":"additional","affiliation":[]},{"given":"Toby","family":"Walsh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Abbas, A., Tsang, E.P.K.: Toward a general language for the specification of constraint satisfaction problems. In: Proc. Constraint Programming, Artificial Intelligence and Operations Research (CP-AI-OR) Wshop (2001)","key":"6_CR1"},{"unstructured":"Borrett, J.E.: Formulation selection for constraint satisfaction problem: a heuristic approach. PhD Thesis, Dept. of Computer Science, University of Essex, UK (1998)","key":"6_CR2"},{"issue":"4","key":"6_CR3","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1011432307724","volume":"6","author":"J.E. Borrett","year":"2001","unstructured":"Borrett, J.E., Tsang, E.P.K.: A context for constraint satisfaction problem formulation selection. Constraints\u00a06(4), 299\u2013327 (2001)","journal-title":"Constraints"},{"unstructured":"Bradwell, R., Ford, J., Mills, P., Tsang, E.P.K., Williams, R.: An overview of the CACP project: modelling and solving constraint satisfaction\/optimisation problems with minimal expert intervention. In: Proc. Wshop. on Analysis and Visualization of Constraint Programs & Solvers (2000)","key":"6_CR4"},{"unstructured":"Bundy, A.: A Science of Reasoning. In: Lassez, J.-L., Plotkin, G. (eds.) Computational Logic: Essays in Honor of Alan Robinson, pp. 178\u2013198 (1991)","key":"6_CR5"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/3-540-45309-1_26","volume-title":"Programming Languages and Systems","author":"M. Cadoli","year":"2001","unstructured":"Cadoli, M., Schaerf, A.: Compiling program specifications into SAT. In: Sands, D. (ed.) ESOP 2001. LNCS, vol.\u00a02028, p. 387. Springer, Heidelberg (2001)"},{"key":"6_CR7","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.: NP-SPEC: 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)"},{"unstructured":"Flener, P., Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Matrix Modelling: Exploiting Common Patterns in Constraint Programming. In: Proc. Int. Wshop on Reformulating CSPs (2002)","key":"6_CR8"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/3-540-46135-3_31","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"P. Flener","year":"2002","unstructured":"Flener, P., Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Pearson, J., Walsh, T.: Breaking Row and Column Symmetries in Matrix Models. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, p. 462. Springer, Heidelberg (2002)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-25938-1_18","volume-title":"Logic Based Program Synthesis and Transformation","author":"P. Flener","year":"2004","unstructured":"Flener, P., Pearson, J., Agren, M.: Introducing ESRA, a relational language for modelling combinatorial problems. In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol.\u00a03018, pp. 214\u2013232. Springer, Heidelberg (2004)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-46135-3_7","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"A.M. Frisch","year":"2002","unstructured":"Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Global Constraints for Lexicographic Orderings. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, p. 93. Springer, Heidelberg (2002)"},{"unstructured":"Frisch, A.M., Jefferson, C., Mart\u00ednez-Hern\u00e1ndez, B., Miguel, I.: The Rules of Constraint Modelling. In: Proc. 19th Int. Joint Conf. on AI (2005)","key":"6_CR12"},{"unstructured":"Frisch, A.M., Jefferson, C., Miguel, I.: Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. In: Proc. 16th Euro. Conf. on AI, pp. 171\u2013175 (2004)","key":"6_CR13"},{"key":"6_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-36607-5_2","volume-title":"Recent Advances in Constraints","author":"A.M. Frisch","year":"2003","unstructured":"Frisch, A.M., Miguel, I., Walsh, T.: Cgrass: A System for Transforming Constraint Satisfaction Problems. In: O\u2019Sullivan, B. (ed.) CologNet 2002. LNCS (LNAI), vol.\u00a02627, pp. 23\u201326. Springer, Heidelberg (2003)"},{"unstructured":"Gent, I.P., Smith, B.M.: Symmetry Breaking During Search in Constraint Programming. In: Proc. European Conf. on AI, pp. 599\u2013603 (2000)","key":"6_CR15"},{"issue":"2\u20133","key":"6_CR16","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"56","author":"F. Giunchiglia","year":"1992","unstructured":"Giunchiglia, F., Walsh, T.: A Theory of Abstraction. Artificial Intelligence\u00a056(2\u20133), 323\u2013390 (1992)","journal-title":"Artificial Intelligence"},{"unstructured":"Hnich, B.: Function Variables for Constraint Programming. PhD Thesis, University of Uppsala (2003)","key":"6_CR17"},{"doi-asserted-by":"crossref","unstructured":"Hnich, B., Smith, B.M., Walsh, T.: Models of Permutation and Injection Problems. Journal of Artificial Intelligence Research\u00a021 (2004)","key":"6_CR18","DOI":"10.1613\/jair.1351"},{"issue":"1","key":"6_CR19","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(78)90029-2","volume":"10","author":"J.-L. Lauriere","year":"1978","unstructured":"Lauriere, J.-L.: A language and a program for stating and solving combinatorial problems. Artificial Intelligence\u00a010(1), 29\u2013127 (1978)","journal-title":"Artificial Intelligence"},{"unstructured":"Mackworth, A.K.: Constraint Satisfaction Problems. In: Encyclopedia of AI, pp. 285\u2013293 (1992)","key":"6_CR20"},{"unstructured":"Mills, P., Tsang, E.P.K., Williams, R., Ford, J., Borrett, J.: EaCL 1.5: An Easy abstract Constraint optimisation Programming Language. TR CSM-324, University of Essex (1999)","key":"6_CR21"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"1396","DOI":"10.1287\/mnsc.47.10.1396.10265","volume":"47","author":"H.D. Sherali","year":"2001","unstructured":"Sherali, H.D., Smith, J.C.: Improving Discrete Model Representations via Symmetry Considerations. Management Science\u00a047, 1396\u20131407 (2001)","journal-title":"Management Science"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/11493853_25","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"B.M. Smith","year":"2005","unstructured":"Smith, B.M.: Symmetry and Search in a Network Design Problem. In: Bart\u00e1k, R., Milano, M. (eds.) CPAIOR 2005. LNCS, vol.\u00a03524, pp. 336\u2013350. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Smith, D.R.: The structure and design of global search algorithms. TR KES.U.87.12, Kestrel Institute (1988)","key":"6_CR24","DOI":"10.1007\/BF01805746"},{"unstructured":"Smith, B.M., Stergiou, K., Walsh, T.: Modelling the Golomb Ruler Problem. In: Proc. IJCAI 1999 Wshop on Non-Binary Constraints. Int. Joint Conf. on AI (1999)","key":"6_CR25"}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation and Approximation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11527862_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:49Z","timestamp":1605643669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11527862_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278726","9783540318828"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11527862_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}