{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T06:00:39Z","timestamp":1721973639966},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,9,7]],"date-time":"2013-09-07T00:00:00Z","timestamp":1378512000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1007\/s10601-013-9149-z","type":"journal-article","created":{"date-parts":[[2013,9,6]],"date-time":"2013-09-06T06:10:33Z","timestamp":1378447833000},"page":"126-138","source":"Crossref","is-referenced-by-count":10,"title":["The future of optimization technology"],"prefix":"10.1007","volume":"19","author":[{"given":"Maria Garcia","family":"de la Banda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Van Hentenryck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,9,7]]},"reference":[{"key":"9149_CR1","unstructured":"Aimms modelling system. http:\/\/business.aimms.com . Accessed July 2013"},{"key":"9149_CR2","first-page":"21","volume-title":"Integration of AI and OR techniques in constraint programming for combinatorial optimization problems, first international conference, CPAIOR 2004. Lecture notes in computer sciences (Vol. 3011)","author":"ID Aron","year":"2004","unstructured":"Aron, I.D., Hooker, J.N., Yunes, T.H. (2004). Simpl: A system for integrating optimization techniques. In Integration of AI and OR techniques in constraint programming for combinatorial optimization problems, first international conference, CPAIOR 2004. Lecture notes in computer science (Vol. 3011, pp. 21\u201336). New York: Springer."},{"key":"9149_CR3","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/978-3-642-23786-7_4","volume-title":"Principles and practice of constraint programming - CP 2011 - 17th international conference. Lecture notes in computer science (Vol. 6879)","author":"N Beldiceanu","year":"2011","unstructured":"Beldiceanu, N., & Simonis, H. (2011). A constraint seeker: Finding and ranking global constraints from examples. In J.H.-M. Lee (Ed.), Principles and practice of constraint programming - CP 2011 - 17th international conference. Lecture notes in computer science (Vol. 6879, pp. 12\u201326). New York: Springer."},{"key":"9149_CR4","first-page":"141","volume-title":"Proceedings of the 18th international conference of principles and practice of constraint programming, CP 2012. Lecture notes in computer science (Vol. 7514)","author":"N Beldiceanu","year":"2012","unstructured":"Beldiceanu, N., & Simonis, H. (2012). A model seeker: Extracting global constraint models from positive examples. In M. Milano (Ed.), Proceedings of the 18th international conference of principles and practice of constraint programming, CP 2012. Lecture notes in computer science (Vol. 7514, pp. 141\u2013157). New York: Springer."},{"key":"9149_CR5","unstructured":"Brodsky, A., & Nash, H. (2006). CoJava: Optimization modeling by nondeterministic simulation, in constraint programming. In Principles and practice of constraint programming (CP) (pp. 91\u2013107)."},{"key":"9149_CR6","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-642-13520-0_10","volume-title":"Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. LNCS (Vol. 6140)","author":"G Chu","year":"2010","unstructured":"Chu, G., Garcia de la Banda, M., Stuckey, P. (2010). Automatically exploiting subproblem equivalence in constraint programming. In Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. LNCS (Vol. 6140, pp. 71\u201386). New York: Springer."},{"key":"9149_CR7","first-page":"531","volume-title":"Proceedings of the 24th international conference on logic programming. LNCS","author":"G Duck","year":"2008","unstructured":"Duck, G., De Koninck, L., Stuckey, P. (2008). Cadmium: An implementation of ACD term rewriting. In M. Garcia de la Banda, & E. Pontelli (Eds.), Proceedings of the 24th international conference on logic programming. LNCS (pp. 531\u2013545). New York: Springer."},{"key":"9149_CR8","first-page":"256","volume-title":"Proceedings of the 17th international conference on principles and practice of constraint programming. LNCS (Vol. 6876)","author":"S Elsayed","year":"2011","unstructured":"Elsayed, S., & Michel, L. (2011). Synthesis of search algorithms from high-level CP models. In J. Lee (Ed.), Proceedings of the 17th international conference on principles and practice of constraint programming. LNCS (Vol. 6876, pp. 256\u2013270). New York: Springer."},{"key":"9149_CR9","first-page":"286","volume-title":"Proceedings of the 17th international conference on principles and practice of constraint programming. LNCS (Vol. 6876)","author":"T Feydy","year":"2011","unstructured":"Feydy, T., Somogyi, Z., Stuckey, P. (2011). Half-reification and flattening. In J. Lee (Ed.), Proceedings of the 17th international conference on principles and practice of constraint programming. LNCS (Vol. 6876, pp. 286\u2013301). New York: Springer."},{"key":"9149_CR10","volume-title":"AMPL: A modeling language for mathematical programming","author":"R Fourer","year":"2002","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W. (2002). AMPL: A modeling language for mathematical programming. Pacific Grove, CA: Duxbury Press."},{"key":"9149_CR11","volume-title":"Proceedings of the 18th international conference on principles and practice of constraint programming","author":"K Francis","year":"2012","unstructured":"Francis, K., Brand, S., Stuckey, P. (2012). Optimization modelling for software developers. In M. Milano (Ed.), Proceedings of the 18th international conference on principles and practice of constraint programming (page to appear). New York: Springer."},{"key":"9149_CR12","unstructured":"Ganu, H. (2011). Constraint programming. In ORMS today (pp. 44\u201347)."},{"issue":"12\u201313","key":"9149_CR13","doi-asserted-by":"crossref","first-page":"1951","DOI":"10.1016\/j.artint.2011.05.002","volume":"175","author":"T Guns","year":"2011","unstructured":"Guns, T., Nijssen, S., Raedt, L.D. (2011). Itemset mining: a constraint programming perspective. Artificial Intelligence, 175(12\u201313), 1951\u20131983.","journal-title":"Artificial Intelligence"},{"key":"9149_CR14","unstructured":"Harvey, W., & Kelsey, T. (2003). Symmetry group expression for CSPs. In Proceedings of Sym-Con03: Third international workshop on symmetry in constraint satisfaction problems (pp. 86\u201396)."},{"key":"9149_CR15","unstructured":"Junker, U. (2004). Quickxplain: Preferred explanations and relaxations for over-constrained problems. In Proceedings of the nineteenth national conference on artificial intelligence, sixteenth conference on innovative applications of artificial intelligence (pp. 167\u2013172). AAAI Press\/The MIT Press."},{"issue":"3","key":"9149_CR16","doi-asserted-by":"crossref","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., Garcia de la Banda, M., Wallace, M. (2008). The design of the Zinc modelling language. Constraints, 13(3), 229\u2013267.","journal-title":"Constraints"},{"issue":"4","key":"9149_CR17","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/s10601-008-9057-9","volume":"14","author":"C Mears","year":"2009","unstructured":"Mears, C., Garcia de la Banda, M., Wallace, M. (2009). On implementing symmetry detection. Constraints, 14(4), 443\u2013477.","journal-title":"Constraints"},{"key":"9149_CR18","first-page":"43","volume-title":"Aeon: Synthesizing Scheduling Algorithms from High-level Models","author":"J-N Monette","year":"2009","unstructured":"Monette, J.-N., Deville, Y., Van Hentenryck, P. (2009). Aeon: Synthesizing Scheduling Algorithms from High-level Models (pp. 43\u201359). Operations Research\/Computer Science Interfaces. New York: Springer."},{"issue":"3","key":"9149_CR19","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/s10601-008-9064-x","volume":"14","author":"O Ohrimenko","year":"2009","unstructured":"Ohrimenko, O., Stuckey, P., Codish, M. (2009). Propagation via lazy clause generation. Constraints, 14(3), 357\u2013391.","journal-title":"Constraints"},{"key":"9149_CR20","first-page":"346","volume-title":"Fifth international conference on principles and practice of constraint programming. LNCS (Vol. 1713)","author":"L Perron","year":"1999","unstructured":"Perron, L. (1999). Search procedures and parallelism in constraint programming. In J. Jaffar (Ed.), Fifth international conference on principles and practice of constraint programming. LNCS (Vol. 1713, pp. 346\u2013360). New York: Springer."},{"issue":"1","key":"9149_CR21","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s10601-009-9085-0","volume":"16","author":"J Puchinger","year":"2011","unstructured":"Puchinger, J., Stuckey, P., Wallace, M., Brand, S. (2011). Dantzig-wolfe decomposition and branch-and-price solving in G12. Constraints, 16(1), 77\u201399.","journal-title":"Constraints"},{"key":"9149_CR22","first-page":"774","volume-title":"Seventeenth international conference on principles and practice of constraint programming. LNCS (Vol. 6876)","author":"T Schrijvers","year":"2011","unstructured":"Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H., Stuckey, P. (2011). Search combinators. In J. Lee (Ed.), Seventeenth international conference on principles and practice of constraint programming. LNCS (Vol. 6876, pp. 774\u2013788). New York: Springer."},{"issue":"3","key":"9149_CR23","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/s10601-010-9103-2","volume":"16","author":"A Schutt","year":"2011","unstructured":"Schutt, A., Feydy, T., Stuckey, P., Wallace, M. (2011). Explaining the cumulative propagator. Constraints, 16(3), 250\u2013282.","journal-title":"Constraints"},{"key":"9149_CR24","doi-asserted-by":"crossref","unstructured":"Trick, M. (2005). Formulations and reformulations in integer programming. In Proceedings of the second international conference on the integration of AI and OR techniques in constraint programming for combinatorial optimization problems (CP-AI-OR\u201905).","DOI":"10.1007\/11493853_27"},{"key":"9149_CR25","volume-title":"Constraint satisfaction in logic programming","author":"P Van Hentenryck","year":"1989","unstructured":"Van Hentenryck, P. (1989). Constraint satisfaction in logic programming. Cambridge, MA: MIT Press."},{"key":"9149_CR26","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Flener, P., Pearson, J., Agren, M. (2005). Compositional derivation of symmetries for constraint satisfaction. In Proceedings of the 6th international symposium on abstraction, reformulation and approximation, (SARA 2005) (pp. 234\u2013247).","DOI":"10.1007\/11527862_17"},{"key":"9149_CR27","volume-title":"The OPL optimization programming language","author":"P Van Hentenryck","year":"1999","unstructured":"Van Hentenryck, P., Lustig, I., Michel, L., Puget, J.-F. (1999). The OPL optimization programming language. Cambridge, MA: MIT Press."},{"key":"9149_CR28","volume-title":"Constraint-based local search","author":"P Van Hentenryck","year":"2005","unstructured":"Van Hentenryck, P., & Michel, L. (2005). Constraint-based local search. Cambridge, MA: MIT Press."},{"issue":"2","key":"9149_CR29","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1145\/359496.359529","volume":"1","author":"P Van Hentenryck","year":"2000","unstructured":"Van Hentenryck, P., Perron, L., Puget, J.-F. (2000). Search and strategies in OPL. ACM TOCL, 1(2), 285\u2013315.","journal-title":"ACM TOCL"},{"key":"9149_CR30","unstructured":"Wallace, M., Novello, S., Schimpf, J. (1997). Eclipse: A platform for constraint logic programming. Technical report, IC-Parc Imperial College, London."},{"key":"9149_CR31","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/978-3-642-13520-0_36","volume-title":"Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. LNCS (Vol. 6140)","author":"F Xie","year":"2010","unstructured":"Xie, F., & Davenport, A.J. (2010). Massively parallel constraint programming for supercomputers: Challenges and initial results. In Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. LNCS (Vol. 6140, pp. 334\u2013338). New York: Springer."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-013-9149-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-013-9149-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-013-9149-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:14:17Z","timestamp":1559243657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-013-9149-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,7]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["9149"],"URL":"https:\/\/doi.org\/10.1007\/s10601-013-9149-z","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,7]]}}}