{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:30:00Z","timestamp":1725798600251},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104270"},{"type":"electronic","value":"9783319104287"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10428-7_43","type":"book-chapter","created":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T21:33:54Z","timestamp":1407879234000},"page":"590-605","source":"Crossref","is-referenced-by-count":11,"title":["Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination"],"prefix":"10.1007","author":[{"given":"Peter","family":"Nightingale","sequence":"first","affiliation":[]},{"given":"\u00d6zg\u00fcr","family":"Akg\u00fcn","sequence":"additional","affiliation":[]},{"given":"Ian P.","family":"Gent","sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Jefferson","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Miguel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-85958-1_23","volume-title":"Principles and Practice of Constraint Programming","author":"I. Araya","year":"2008","unstructured":"Araya, I., Neveu, B., Trombettoni, G.: Exploiting common subexpressions in numerical CSPs. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 342\u2013357. Springer, Heidelberg (2008)"},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"Beldiceanu, N., Simonis, H.: A constraint seeker: Finding and ranking global constraints from examples. In: Lee (ed.) [10], pp. 12\u201326","DOI":"10.1007\/978-3-642-23786-7_4"},{"issue":"1","key":"43_CR3","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.: Efficient algorithms for singleton arc consistency. Constraints\u00a016(1), 25\u201353 (2011)","journal-title":"Constraints"},{"key":"43_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-74970-7_5","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"C.W. Choi","year":"2007","unstructured":"Choi, C.W., Lee, J.H.M.: Solving the salinity control problem in a potable water system. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 33\u201348. Springer, Heidelberg (2007)"},{"key":"43_CR5","unstructured":"Frisch, A., Jefferson, C., Miguel, I.: CSPLib problem 035: Molnar\u2019s problem, \n                    \n                      http:\/\/www.csplib.org\/Problems\/prob035"},{"key":"43_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-45193-8_22","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"A.M. Frisch","year":"2003","unstructured":"Frisch, A.M., Jefferson, C., Miguel, I.: Constraints for breaking more row and column symmetries. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 318\u2013332. Springer, Heidelberg (2003)"},{"key":"43_CR7","unstructured":"Frisch, A.M., Jefferson, C., Miguel, I.: Symmetry-breaking as a prelude to implied constraints: A constraint modelling pattern. In: Proc. 16th European Conference on Artificial Intelligence, ECAI 2004 (2004)"},{"key":"43_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"15","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. 15\u201330. Springer, Heidelberg (2003)"},{"key":"43_CR9","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1016\/j.artint.2010.07.001","volume":"174","author":"C. Jefferson","year":"2010","unstructured":"Jefferson, C., Moore, N., Nightingale, P., Petrie, K.E.: Implementing logical connectives in constraint programming. Artificial Intelligence\u00a0174, 1407\u20131429 (2010)","journal-title":"Artificial Intelligence"},{"key":"43_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2011","year":"2011","unstructured":"Lee, J. (ed.): CP 2011. LNCS, vol.\u00a06876. Springer, Heidelberg (2011)"},{"key":"43_CR11","doi-asserted-by":"crossref","unstructured":"Mears, C., Niven, T., Jackson, M., Wallace, M.: Proving symmetries by model transformation. In: Lee (ed.) [10], pp. 591\u2013605","DOI":"10.1007\/978-3-642-23786-7_45"},{"key":"43_CR12","unstructured":"Nightingale, P.: Savile Row, a constraint modelling assistant (2014), http:\/\/savilerow.cs.st-andrews.ac.uk\/"},{"key":"43_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-540-30201-8_2","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"J.F. Puget","year":"2004","unstructured":"Puget, J.F.: Constraint programming next challenge: Simplicity of use. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 5\u20138. Springer, Heidelberg (2004)"},{"key":"43_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-540-45193-8_40","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"J.F. Puget","year":"2003","unstructured":"Puget, J.F.: Symmetry breaking using stabilizers. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 585\u2013599. Springer, Heidelberg (2003)"},{"key":"43_CR15","unstructured":"Rendl, A.: Effective Compilation of Constraint Models. Ph.D. thesis, University of St Andrews (2010)"},{"key":"43_CR16","unstructured":"Rendl, A., Miguel, I., Gent, I.P., Jefferson, C.: Automatically enhancing constraint model instances during tailoring. In: Bulitko, V., Beck, J.C. (eds.) SARA. AAAI (2009)"},{"key":"43_CR17","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)"},{"key":"43_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-38171-3_18","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"P.J. Stuckey","year":"2013","unstructured":"Stuckey, P.J., Tack, G.: MiniZinc with functions. In: Gomes, C., Sellmann, M. (eds.) CPAIOR 2013. LNCS, vol.\u00a07874, pp. 268\u2013283. Springer, Heidelberg (2013)"},{"key":"43_CR19","volume-title":"The OPL Optimization Programming Language","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1999)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10428-7_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T11:22:46Z","timestamp":1558956166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10428-7_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104270","9783319104287"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10428-7_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}