{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:29:51Z","timestamp":1725798591237},"publisher-location":"Cham","reference-count":24,"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_27","type":"book-chapter","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T01:33:54Z","timestamp":1407893634000},"page":"356-365","source":"Crossref","is-referenced-by-count":4,"title":["Discriminating Instance Generation for Automated Constraint Model Selection"],"prefix":"10.1007","author":[{"given":"Ian P.","family":"Gent","sequence":"first","affiliation":[]},{"given":"Bilal Syed","family":"Hussain","sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Jefferson","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Kotthoff","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Miguel","sequence":"additional","affiliation":[]},{"given":"Glenna F.","family":"Nightingale","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Nightingale","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-40627-0_11","volume-title":"Principles and Practice of Constraint Programming","author":"O. Akgun","year":"2013","unstructured":"Akgun, O., Frisch, A.M., Gent, I.P., Hussain, B.S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, P.: Automated symmetry breaking and model selection in conjure. In: Schulte, C. (ed.) CP 2013. LNCS, vol.\u00a08124, pp. 107\u2013116. Springer, Heidelberg (2013)"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Akgun, O., Miguel, I., Jefferson, C., Frisch, A.M., Hnich, B.: Extensible automated constraint modelling. In: 25th Conference on Artificial Intelligence (AAAI) (2011)","DOI":"10.1609\/aaai.v25i1.7820"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-33558-7_13","volume-title":"Principles and Practice of Constraint Programming","author":"N. Beldiceanu","year":"2012","unstructured":"Beldiceanu, N., Simonis, H.: A model seeker: Extracting global constraint models from positive examples. In: Milano, M. (ed.) CP 2012. LNCS, vol.\u00a07514, pp. 141\u2013157. Springer, Heidelberg (2012)"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-540-30201-8_12","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"C. Bessi\u00e8re","year":"2004","unstructured":"Bessi\u00e8re, C., Coletta, R., Freuder, E.C., O\u2019Sullivan, B.: Leveraging the learning power of examples in automated constraint acquisition. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 123\u2013137. Springer, Heidelberg (2004)"},{"key":"27_CR5","unstructured":"Bessiere, C., Coletta, R., Koriche, F., O\u2019Sullivan, B.: Acquiring constraint networks using a SAT-based version space algorithm. In: 21st Conference on Artificial Intelligence (AAAI), pp. 1565\u20131568 (2006)"},{"key":"27_CR6","unstructured":"Birattari, M., St\u00fctzle, T., Paquete, L., Varrentrapp, K.: A racing algorithm for configuring metaheuristics. In: The Genetic and Evolutionary Computation Conference (GECCO), vol.\u00a02, pp. 11\u201318 (2002)"},{"key":"27_CR7","unstructured":"Charnley, J., Colton, S., Miguel, I.: Automatic generation of implied constraints. In: 17th European Conference on Artificial Intelligence (ECAI), pp. 73\u201377 (2006)"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1007\/978-3-540-45193-8_58","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"R. Coletta","year":"2003","unstructured":"Coletta, R., Bessi\u00e8re, C., O\u2019Sullivan, B., Freuder, E.C., O\u2019Connell, S., Quinqueton, J.: Semi-automatic modeling by constraint acquisition. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 812\u2013816. Springer, Heidelberg (2003)"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1007\/978-3-540-45193-8_95","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"P. Flener","year":"2003","unstructured":"Flener, P., Pearson, J., \u00c5gren, M.: Introducing esra, a relational language for modelling combinatorial problems. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 971\u2013971. Springer, Heidelberg (2003)"},{"key":"27_CR10","unstructured":"Frisch, A.M., Jefferson, C., Hernandez, B.M., Miguel, I.: The rules of constraint modelling. In: 19th International Joint Conference on Artificial Intelligence (IJCAI), pp. 109\u2013116 (2005)"},{"issue":"3","key":"27_CR11","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/s10601-008-9047-y","volume":"13","author":"A.M. Frisch","year":"2008","unstructured":"Frisch, A.M., Harvey, W., Jefferson, C., Mart\u00ednez-Hern\u00e1ndez, B., Miguel, I.: Essence: A constraint language for specifying combinatorial problems. Constraints\u00a013(3), 268\u2013306 (2008)","journal-title":"Constraints"},{"key":"27_CR12","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast scalable constraint solver. In: 17th European Conference on Artificial Intelligence (ECAI), vol.\u00a0141, pp. 98\u2013102 (2006)"},{"key":"27_CR13","unstructured":"Gent, I.P., Miguel, I., Rendl, A.: Common subexpression elimination in automated constraint modelling. In: Workshop on Modeling and Solving Problems with Constraints, pp. 24\u201330 (2008)"},{"issue":"2","key":"27_CR14","first-page":"131","volume":"16","author":"B. Hnich","year":"2003","unstructured":"Hnich, B.: Function variables for constraint programming. AI Communications\u00a016(2), 131\u2013132 (2003)","journal-title":"AI Communications"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/978-3-642-25566-3_40","volume-title":"Learning and Intelligent Optimization","author":"F. Hutter","year":"2011","unstructured":"Hutter, F., Hoos, H.H., Leyton-Brown, K.: Sequential model-based optimization for general algorithm configuration. In: Coello, C.A.C. (ed.) LION 2011. LNCS, vol.\u00a06683, pp. 507\u2013523. Springer, Heidelberg (2011)"},{"key":"27_CR16","unstructured":"Koninck, L.D., Brand, S., Stuckey, P.J.: Data independent type reduction for Zinc. In: 9th International Workshop on Constraint Modelling and Reformulation (2010)"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Lallouet, A., Lopez, M., Martin, L., Vrain, C.: On learning constraint problems. In: 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI), vol.\u00a01, pp. 45\u201352 (2010)","DOI":"10.1109\/ICTAI.2010.16"},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1007\/978-3-540-45193-8_107","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"J.J. Little","year":"2003","unstructured":"Little, J.J., Gebruers, C., Bridge, D.G., Freuder, E.C.: Using case-based reasoning to write constraint programs. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, p. 983. Springer, Heidelberg (2003)"},{"issue":"3","key":"27_CR19","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.J., de la Banda, M.G., Wallace, M.: The design of the Zinc modelling language. Constraints\u00a013(3), 229\u2013267 (2008)","journal-title":"Constraints"},{"key":"27_CR20","unstructured":"Mills, P., Tsang, E., Williams, R., Ford, J., Borrett, J.: EaCL 1.5: An easy abstract constraint optimisation programming language. Tech. rep., University of Essex, Colchester, UK (December 1999)"},{"key":"27_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N. Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.R.: Minizinc: Towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 529\u2013543. Springer, Heidelberg (2007)"},{"key":"27_CR22","series-title":"LNCS","first-page":"590","volume-title":"CP 2014","author":"P. Nightingale","year":"2014","unstructured":"Nightingale, P., Akg\u00fcn, \u00d6., Gent, I.P., Jefferson, C., Miguel, I.: Automatically improving constraint models in savile row through associative-commutative common subexpression elimination. In: O\u2019Sullivan, B. (ed.) CP 2014. LNCS, vol.\u00a08656, pp. 590\u2013605. Springer, Heidelberg (2014)"},{"key":"27_CR23","unstructured":"Rendl, A.: Effective Compilation of Constraint Models. Ph.D. thesis, University of St Andrews (2010)"},{"key":"27_CR24","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_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T22:29:58Z","timestamp":1689460198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10428-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104270","9783319104287"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10428-7_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}