{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:03:32Z","timestamp":1743120212364,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232188"},{"type":"electronic","value":"9783319232195"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23219-5_27","type":"book-chapter","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T10:17:33Z","timestamp":1439374653000},"page":"376-392","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Rendl","sequence":"first","affiliation":[]},{"given":"Tias","family":"Guns","sequence":"additional","affiliation":[]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[]},{"given":"Guido","family":"Tack","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,13]]},"reference":[{"key":"27_CR1","unstructured":"Augerat, P., Belenguer, J., Benavent, E., Corberan, A., Naddef, D., Rinaldi, G.: Computational results with a branch and cut code for the capacitated vehicle routing problem. Technical Report 949-M. Universite Joseph Fourier, Grenoble (1995)"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-07046-9_8","volume-title":"Integration of AI and OR Techniques in Constraint Programming","author":"B Belin","year":"2014","unstructured":"Belin, B., Christie, M., Truchet, C.: Interactive design of sustainable cities with a distributed local search solver. In: Simonis, H. (ed.) CPAIOR 2014. LNCS, vol. 8451, pp. 104\u2013119. Springer, Heidelberg (2014)"},{"key":"27_CR3","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 (Abstract). In: Rossi, F. (ed.) CP 2003. LNCS, vol. 2833, pp. 971\u2013971. Springer, Heidelberg (2003)"},{"key":"27_CR4","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming. Cengage Learning (2002)"},{"issue":"3","key":"27_CR5","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/s10601-008-9047-y","volume":"13","author":"AM Frisch","year":"2008","unstructured":"Frisch, A.M., Harvey, W., Jefferson, C., Hern\u00e1ndez, B.M., Miguel, I.: Essence : A constraint language for specifying combinatorial problems. Constraints 13(3), 268\u2013306 (2008)","journal-title":"Constraints"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-73580-9_16","volume-title":"Abstraction, Reformulation, and Approximation","author":"IP Gent","year":"2007","unstructured":"Gent, I.P., Miguel, I., Rendl, A.: Tailoring solver-independent constraint models: a case study with Essence\n                                        $$\\prime $$ and Minion. In: Miguel, I., Ruml, W. (eds.) SARA 2007. LNCS (LNAI), vol. 4612, pp. 184\u2013199. Springer, Heidelberg (2007)"},{"key":"27_CR7","unstructured":"Godard, D., Laborie, P., Nuijten, W.: Randomized large neighborhood search for cumulative scheduling. In: Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), Monterey, California, USA, June 5\u201310 2005, pp. 81\u201389 (2005)"},{"key":"27_CR8","unstructured":"Harvey, W.D., Ginsberg, M.L.: Limited discrepancy search. In: Proceedings of the 14th IJCAI, pp. 607\u2013613 (1995)"},{"key":"27_CR9","unstructured":"Hebrard, E., Hnich, B., O\u2019Sullivan, B., Walsh, T.: Finding diverse and similar solutions in constraint programming. In: Veloso, M.M., Kambhampati, S. (eds.) AAAI, pp. 372\u2013377. AAAI Press \/ The MIT Press (2005)"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-13520-0_22","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"E Hebrard","year":"2010","unstructured":"Hebrard, E., O\u2019Mahony, E., O\u2019Sullivan, B.: Constraint programming and combinatorial optimisation in numberjack. In: Lodi, A., Milano, M., Toth, P. (eds.) CPAIOR 2010. LNCS, vol. 6140, pp. 181\u2013185. Springer, Heidelberg (2010)"},{"issue":"16\u201317","key":"27_CR11","doi-asserted-by":"publisher","first-page":"1457","DOI":"10.1016\/j.artint.2009.07.003","volume":"173","author":"R Marinescu","year":"2009","unstructured":"Marinescu, R., Dechter, R.: AND\/OR branch-and-bound search for combinatorial optimization in graphical models. Artif. Intell. 173(16\u201317), 1457\u20131491 (2009)","journal-title":"Artif. Intell."},{"issue":"3","key":"27_CR12","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 13(3), 229\u2013267 (2008)","journal-title":"Constraints"},{"key":"27_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1007\/11564751_119","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"L Michel","year":"2005","unstructured":"Michel, L., Van Hentenryck, P.: The comet programming language and system. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, p. 881. Springer, Heidelberg (2005)"},{"key":"27_CR14","unstructured":"MiniSearch release. http:\/\/www.minizinc.org\/minisearch"},{"key":"27_CR15","unstructured":"MiniZinc challenge. http:\/\/www.minizinc.org\/challenge.html"},{"key":"27_CR16","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. 4741, pp. 529\u2013543. Springer, Heidelberg (2007)"},{"key":"27_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1007\/978-3-642-40627-0_45","volume-title":"Principles and Practice of Constraint Programming","author":"J-C R\u00e9gin","year":"2013","unstructured":"R\u00e9gin, J.-C., Rezgui, M., Malapert, A.: Embarrassingly parallel search. In: Schulte, C. (ed.) CP 2013. LNCS, vol. 8124, pp. 596\u2013610. Springer, Heidelberg (2013)"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Ruszczy\u0144ski, A., Shapiro, A.: Stochastic Programming. Handbooks in operations research and management science. Elsevier (2003)","DOI":"10.1016\/S0927-0507(03)10001-1"},{"issue":"2","key":"27_CR19","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10601-012-9137-8","volume":"18","author":"T Schrijvers","year":"2013","unstructured":"Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H., Stuckey, P.J.: Search combinators. Constraints 18(2), 269\u2013305 (2013)","journal-title":"Constraints"},{"key":"27_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/3-540-49481-2_30","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"P Shaw","year":"1998","unstructured":"Shaw, P.: Using constraint programming and local search methods to solve vehicle routing problems. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol. 1520, pp. 417\u2013431. Springer, Heidelberg (1998)"},{"key":"27_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-85958-1_4","volume-title":"Principles and Practice of Constraint Programming","author":"H Simonis","year":"2008","unstructured":"Simonis, H., O\u2019Sullivan, B.: Search strategies for rectangle packing. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 52\u201366. Springer, Heidelberg (2008)"},{"issue":"2","key":"27_CR22","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1609\/aimag.v35i2.2539","volume":"35","author":"PJ Stuckey","year":"2014","unstructured":"Stuckey, P.J., Feydy, T., Schutt, A., Tack, G., Fischer, J.: The MiniZinc challenge 2008\u20132013. AI Magazine 35(2), 55\u201360 (2014)","journal-title":"AI Magazine"},{"key":"27_CR23","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":"PJ Stuckey","year":"2013","unstructured":"Stuckey, P.J., Tack, G.: Minizinc with functions. In: Gomes, C., Sellmann, M. (eds.) CPAIOR 2013. LNCS, vol. 7874, pp. 268\u2013283. Springer, Heidelberg (2013)"},{"key":"27_CR24","volume-title":"The OPL Optimization Programming Language","author":"P Van Hentenryck","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1999)"},{"key":"27_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/3-540-44654-0_4","volume-title":"New Trends in Constraints","author":"P Van Hentenryck","year":"2000","unstructured":"Van Hentenryck, P., Michel, L.: OPL script: composing and controlling models. In: Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (eds.) Compulog Net WS 1999. LNCS (LNAI), vol. 1865, pp. 75\u201390. Springer, Heidelberg (2000)"},{"key":"27_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-40627-0_5","volume-title":"Principles and Practice of Constraint Programming","author":"P Van Hentenryck","year":"2013","unstructured":"Van Hentenryck, P., Michel, L.: The objective-CP optimization system. In: Schulte, C. (ed.) CP 2013. LNCS, vol. 8124, pp. 8\u201329. Springer, Heidelberg (2013)"},{"key":"27_CR27","unstructured":"Walsh, T.: Stochastic Constraint Programming. In: van Harmelen, F. (ed.) ECAI, pp. 111\u2013115. IOS Press (2002)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23219-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T11:47:59Z","timestamp":1676029679000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23219-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232188","9783319232195"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23219-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"13 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}