{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:05:34Z","timestamp":1742936734390,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642255656"},{"type":"electronic","value":"9783642255663"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25566-3_30","type":"book-chapter","created":{"date-parts":[[2011,11,14]],"date-time":"2011-11-14T04:19:51Z","timestamp":1321244391000},"page":"407-422","source":"Crossref","is-referenced-by-count":1,"title":["Transforming Mathematical Models Using Declarative Reformulation Rules"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Frangioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Perez Sanchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","volume-title":"Network Flows: Theory, Algorithms and Applications","author":"R.K. Ahuja","year":"1993","unstructured":"Ahuja, R.K., Magnanti, T.L., Orlin, J.B.: Network Flows: Theory, Algorithms and Applications. Prentice Hall, Englewood Cliffs (1993)"},{"issue":"2","key":"30_CR2","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1023\/A:1022645805569","volume":"93","author":"C. Audet","year":"1997","unstructured":"Audet, C., Hansen, P., Jaumard, B., Savard, G.: Links between linear bilevel and mixed 0-1 programming problems. Journal of Optimization Theory and Applications\u00a093(2), 273\u2013300 (1997)","journal-title":"Journal of Optimization Theory and Applications"},{"issue":"6","key":"30_CR3","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1016\/j.dam.2008.06.021","volume":"157","author":"H. Ben Amor","year":"2009","unstructured":"Ben Amor, H., Desrosiers, J., Frangioni, A.: On the Choice of Explicit Stabilizing Terms in Column Generation. Discrete Applied Mathematics\u00a0157(6), 1167\u20131184 (2009)","journal-title":"Discrete Applied Mathematics"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0098-1354(99)80004-0","volume":"23","author":"J. Bjorkqvist","year":"1999","unstructured":"Bjorkqvist, J., Westerlund, T.: Automated reformulation of disjunctive constraints in minlp optimization. Computers and Chemical Engineering\u00a023, S11\u2013S14 (1999)","journal-title":"Computers and Chemical Engineering"},{"volume-title":"Column generation","year":"2005","key":"30_CR5","unstructured":"Desaulniers, G., Desrosiers, J., Solomon, M.M. (eds.): Column generation. Springer, Heidelberg (2005)"},{"issue":"6","key":"30_CR6","doi-asserted-by":"publisher","first-page":"1229","DOI":"10.1016\/j.dam.2008.04.022","volume":"157","author":"A. Frangioni","year":"2009","unstructured":"Frangioni, A., Gendron, B.: 0-1 Reformulations of the Multicommodity Capacitated Network Design Problem. Discrete Applied Mathematics\u00a0157(6), 1229\u20131241 (2009)","journal-title":"Discrete Applied Mathematics"},{"issue":"2","key":"30_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.orl.2006.03.008","volume":"35","author":"A. Frangioni","year":"2007","unstructured":"Frangioni, A., Gentile, C.: SDP Diagonalizations and Perspective Cuts for a Class of Nonseparable MIQP. Operations Research Letters\u00a035(2), 181\u2013185 (2007)","journal-title":"Operations Research Letters"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/B:JOCO.0000031420.05971.29","volume":"8","author":"A. Frangioni","year":"2004","unstructured":"Frangioni, A., Scutell\u00e0, M.G., Necciari, E.: A Multi-exchange Neighborhood for Minimum Makespan Machine Scheduling Problems. Journal of Combinatorial Optimization\u00a08, 195\u2013220 (2004)","journal-title":"Journal of Combinatorial Optimization"},{"issue":"1","key":"30_CR9","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF00939332","volume":"57","author":"J. Judice","year":"1988","unstructured":"Judice, J., Mitra, G.: Reformulation of mathematical programming problems as linear complementarity problems and investigation of their solution methods. Journal of Optimization Theory and Applications\u00a057(1), 123\u2013149 (1988)","journal-title":"Journal of Optimization Theory and Applications"},{"key":"30_CR10","unstructured":"Liberti, L.: Reformulation techniques in mathematical programming, in preparation. Th\u00e8se d\u2019Habilitation \u00e0 Diriger des Recherches, Universit\u00e9 Paris IX"},{"issue":"1","key":"30_CR11","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1051\/ro\/2009005","volume":"43","author":"L. Liberti","year":"2009","unstructured":"Liberti, L.: Reformulations in mathematical programming: Definitions and systematics. RAIRO-RO\u00a043(1), 55\u201386 (2009)","journal-title":"RAIRO-RO"},{"key":"30_CR12","series-title":"SCI","first-page":"153","volume-title":"Foundations of Computational Intelligence","author":"L. Liberti","year":"2009","unstructured":"Liberti, L., Cafieri, S., Tarissan, F.: Reformulations in mathematical programming: a computational approach. In: Abraham, A., Hassanien, A.-E., Siarry, P., Engelbrecht, A. (eds.) Foundations of Computational Intelligence. SCI, vol.\u00a03, pp. 153\u2013234. Springer, Berlin (2009)"},{"key":"30_CR13","unstructured":"Sanchez, L.P.: Artificial Intelligence Techniques for Automatic Reformulation and Solution of Structured Mathematical Models. PhD thesis, University of Pisa (2010)"},{"key":"30_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4388-3","volume-title":"A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems","author":"D. Sherali","year":"1999","unstructured":"Sherali, D., Adams, W.P.: A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems. Kluwer Academic Publishers, Dodrecht (1999)"},{"key":"30_CR15","unstructured":"Sherali, H.: Personal communication (2007)"},{"issue":"1","key":"30_CR16","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1287\/opre.35.1.45","volume":"35","author":"T.J. Roy van","year":"1987","unstructured":"van Roy, T.J., Wolsey, L.A.: Solving mixed integer programming problems using automatic reformulation. Operations Research\u00a035(1), 45\u201357 (1987)","journal-title":"Operations Research"},{"key":"30_CR17","unstructured":"Yang, G., Kifer, M., Wan, H., Zhao, C.: Flora-2: User\u2019s Manual"}],"container-title":["Lecture Notes in Computer Science","Learning and Intelligent Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25566-3_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:24:19Z","timestamp":1558297459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25566-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642255656","9783642255663"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25566-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}