{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:32:41Z","timestamp":1759336361432,"version":"3.37.3"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2021,4,16]],"date-time":"2021-04-16T00:00:00Z","timestamp":1618531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,4,16]],"date-time":"2021-04-16T00:00:00Z","timestamp":1618531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003549","name":"Hungarian Scientific Research Fund","doi-asserted-by":"publisher","award":["SNN 129178"],"award-info":[{"award-number":["SNN 129178"]}],"id":[{"id":"10.13039\/501100003549","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011019","name":"Nemzeti Kutat\u00e1si Fejleszt\u00e9si \u00e9s Innov\u00e1ci\u00f3s Hivatal","doi-asserted-by":"publisher","award":["ED 18-2-2018-0006"],"award-info":[{"award-number":["ED 18-2-2018-0006"]}],"id":[{"id":"10.13039\/501100011019","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math. Program."],"published-print":{"date-parts":[[2022,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we reconsider a known technique for constructing strong MIP formulations for disjunctive constraints of the form <jats:inline-formula><jats:alternatives><jats:tex-math>$$x \\in \\bigcup _{i=1}^m P_i$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>x<\/mml:mi>\n                    <mml:mo>\u2208<\/mml:mo>\n                    <mml:msubsup>\n                      <mml:mo>\u22c3<\/mml:mo>\n                      <mml:mrow>\n                        <mml:mi>i<\/mml:mi>\n                        <mml:mo>=<\/mml:mo>\n                        <mml:mn>1<\/mml:mn>\n                      <\/mml:mrow>\n                      <mml:mi>m<\/mml:mi>\n                    <\/mml:msubsup>\n                    <mml:msub>\n                      <mml:mi>P<\/mml:mi>\n                      <mml:mi>i<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, where the <jats:inline-formula><jats:alternatives><jats:tex-math>$$P_i$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mi>P<\/mml:mi>\n                    <mml:mi>i<\/mml:mi>\n                  <\/mml:msub>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> are polytopes. The formulation is based on the Cayley Embedding of the union of polytopes, namely, <jats:inline-formula><jats:alternatives><jats:tex-math>$$Q := \\mathrm {conv}(\\bigcup _{i=1}^m P_i\\times \\{\\epsilon ^i\\})$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>Q<\/mml:mi>\n                    <mml:mo>:<\/mml:mo>\n                    <mml:mo>=<\/mml:mo>\n                    <mml:mi>conv<\/mml:mi>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:msubsup>\n                      <mml:mo>\u22c3<\/mml:mo>\n                      <mml:mrow>\n                        <mml:mi>i<\/mml:mi>\n                        <mml:mo>=<\/mml:mo>\n                        <mml:mn>1<\/mml:mn>\n                      <\/mml:mrow>\n                      <mml:mi>m<\/mml:mi>\n                    <\/mml:msubsup>\n                    <mml:msub>\n                      <mml:mi>P<\/mml:mi>\n                      <mml:mi>i<\/mml:mi>\n                    <\/mml:msub>\n                    <mml:mo>\u00d7<\/mml:mo>\n                    <mml:mrow>\n                      <mml:mo>{<\/mml:mo>\n                      <mml:msup>\n                        <mml:mi>\u03f5<\/mml:mi>\n                        <mml:mi>i<\/mml:mi>\n                      <\/mml:msup>\n                      <mml:mo>}<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, where <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\epsilon ^i$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msup>\n                    <mml:mi>\u03f5<\/mml:mi>\n                    <mml:mi>i<\/mml:mi>\n                  <\/mml:msup>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> is the <jats:italic>i<\/jats:italic>th unit vector in <jats:inline-formula><jats:alternatives><jats:tex-math>$${\\mathbb {R}}^m$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msup>\n                    <mml:mrow>\n                      <mml:mi>R<\/mml:mi>\n                    <\/mml:mrow>\n                    <mml:mi>m<\/mml:mi>\n                  <\/mml:msup>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. Our main contribution is a full characterization of the facets of <jats:italic>Q<\/jats:italic>, provided it has a certain network representation. In the second half of the paper, we work-out a number of applications from the literature, e.g., special ordered sets of type 2, logical constraints, the cardinality indicating polytope, union of simplicies, etc., along with a more complex recent example. Furthermore, we describe a new formulation for piecewise linear functions defined on a grid triangulation of a rectangular region <jats:inline-formula><jats:alternatives><jats:tex-math>$$D \\subset {\\mathbb {R}}^d$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>D<\/mml:mi>\n                    <mml:mo>\u2282<\/mml:mo>\n                    <mml:msup>\n                      <mml:mrow>\n                        <mml:mi>R<\/mml:mi>\n                      <\/mml:mrow>\n                      <mml:mi>d<\/mml:mi>\n                    <\/mml:msup>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> using a logarithmic number of auxilirary variables in the number of gridpoints in <jats:italic>D<\/jats:italic> for any fixed <jats:italic>d<\/jats:italic>. The series of applications demonstrates the richness of the class of disjunctive constraints for which our method can be applied.<\/jats:p>","DOI":"10.1007\/s10107-021-01652-z","type":"journal-article","created":{"date-parts":[[2021,4,16]],"date-time":"2021-04-16T03:33:40Z","timestamp":1618544020000},"page":"831-869","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Ideal, non-extended formulations for disjunctive constraints admitting a network representation"],"prefix":"10.1007","volume":"194","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2759-1264","authenticated-orcid":false,"given":"Tam\u00e1s","family":"Kis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark\u00f3","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,4,16]]},"reference":[{"key":"1652_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10107-020-01474-5","volume":"193","author":"R Anderson","year":"2020","unstructured":"Anderson, R., Huchette, J., Ma, W., Tjandraatmadja, C., Vielma, J.P.: Strong mixed-integer programming formulations for trained neural networks. Math. Program. 193, 3\u201339 (2020)","journal-title":"Math. Program."},{"key":"1652_CR2","doi-asserted-by":"crossref","unstructured":"Balas, E.: Disjunctive programming: cutting planes from logical conditions. In: Nonlinear Programming 2, pp. 279\u2013312. Elsevier (1975)","DOI":"10.1016\/B978-0-12-468650-2.50015-8"},{"key":"1652_CR3","doi-asserted-by":"crossref","unstructured":"Balas, E.: Disjunctive programming. In: Annals of Discrete Mathematics, vol. 5, pp. 3\u201351. Elsevier (1979)","DOI":"10.1016\/S0167-5060(08)70342-X"},{"issue":"3","key":"1652_CR4","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1137\/0606047","volume":"6","author":"E Balas","year":"1985","unstructured":"Balas, E.: Disjunctive programming and a hierarchy of relaxations for discrete optimization problems. SIAM J. Algebraic Discrete Methods 6(3), 466\u2013486 (1985)","journal-title":"SIAM J. Algebraic Discrete Methods"},{"issue":"6","key":"1652_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0167-6377(88)90058-2","volume":"7","author":"E Balas","year":"1988","unstructured":"Balas, E.: On the convex hull of the union of certain polyhedra. Oper. Res. Lett. 7(6), 279\u2013283 (1988)","journal-title":"Oper. Res. Lett."},{"issue":"1\u20133","key":"1652_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0166-218X(98)00136-X","volume":"89","author":"E Balas","year":"1998","unstructured":"Balas, E.: Disjunctive programming: properties of the convex hull of feasible points. Discrete Appl. Math. 89(1\u20133), 3\u201344 (1998)","journal-title":"Discrete Appl. Math."},{"issue":"2","key":"1652_CR7","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/B:JOCO.0000031413.33955.62","volume":"8","author":"E Balas","year":"2004","unstructured":"Balas, E.: Logical constraints as cardinality rules: tight representation. J. Comb. Optim. 8(2), 115\u2013128 (2004)","journal-title":"J. Comb. Optim."},{"issue":"1","key":"1652_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10479-005-3969-1","volume":"140","author":"E Balas","year":"2005","unstructured":"Balas, E.: Projection, lifting and extended formulation in integer and combinatorial optimization. Ann. Oper. Res. 140(1), 125\u2013161 (2005)","journal-title":"Ann. Oper. Res."},{"key":"1652_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00148-3","volume-title":"Disjunctive Programming","author":"E Balas","year":"2018","unstructured":"Balas, E.: Disjunctive Programming. Springer, Berlin (2018)"},{"issue":"2","key":"1652_CR10","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10107-003-0432-4","volume":"99","author":"E Balas","year":"2004","unstructured":"Balas, E., Bockmayr, A., Pisaruk, N., Wolsey, L.: On unions and dominants of polytopes. Math. Program. 99(2), 223\u2013239 (2004)","journal-title":"Math. Program."},{"issue":"1\u20133","key":"1652_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0166-218X(98)00096-1","volume":"87","author":"E Balas","year":"1998","unstructured":"Balas, E., Oosten, M.: On the dimension of projected polyhedra. Discrete Appl. Math. 87(1\u20133), 1\u20139 (1998)","journal-title":"Discrete Appl. Math."},{"key":"1652_CR12","doi-asserted-by":"crossref","unstructured":"Basu, A., Martin, K., Ryan, C.T., Wang, G.: Mixed-integer linear representability, disjunctions, and variable elimination. In: International Conference on Integer Programming and Combinatorial Optimization, Springer, Berlin, pp. 75\u201385 (2017)","DOI":"10.1007\/978-3-319-59250-3_7"},{"key":"1652_CR13","unstructured":"Beale, E.M.L., Tomlin, J.A.: Special facilities in a general mathematical programming system for non-convex problems using ordered sets of variables. In: Lawrence, J., (ed.) OR 69: Proceedings of the Fifth International Conference on Operational Research, pp. 447\u2013454 (1970)"},{"issue":"1\u20133","key":"1652_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01588775","volume":"49","author":"C Blair","year":"1990","unstructured":"Blair, C.: Representation for multiple right-hand sides. Math. Program. 49(1\u20133), 1\u20135 (1990)","journal-title":"Math. Program."},{"issue":"1","key":"1652_CR15","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10107-015-0891-4","volume":"151","author":"P Bonami","year":"2015","unstructured":"Bonami, P., Lodi, A., Tramontani, A., Wiese, S.: On mathematical programming with indicator constraints. Math. Program. 151(1), 191\u2013223 (2015)","journal-title":"Math. Program."},{"issue":"3","key":"1652_CR16","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/s101070050106","volume":"86","author":"S Ceria","year":"1999","unstructured":"Ceria, S., Soares, J.: Convex programming for disjunctive convex optimization. Math. Program. 86(3), 595\u2013614 (1999)","journal-title":"Math. Program."},{"issue":"1","key":"1652_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10288-010-0122-z","volume":"8","author":"M Conforti","year":"2010","unstructured":"Conforti, M., Cornu\u00e9jols, G., Zambelli, G.: Extended formulations in combinatorial optimization. 4OR 8(1), 1\u201348 (2010)","journal-title":"4OR"},{"issue":"1","key":"1652_CR18","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s10107-018-01358-9","volume":"180","author":"M Conforti","year":"2020","unstructured":"Conforti, M., Di Summa, M., Faenza, Y.: Balas formulation for the union of polytopes is optimal. Math. Program. 180(1), 311\u2013326 (2020)","journal-title":"Math. Program."},{"issue":"2","key":"1652_CR19","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10107-007-0101-0","volume":"114","author":"M Conforti","year":"2008","unstructured":"Conforti, M., Wolsey, L.A.: Compact formulations as a union of polyhedra. Math. Program. 114(2), 277\u2013289 (2008)","journal-title":"Math. Program."},{"key":"1652_CR20","doi-asserted-by":"publisher","first-page":"399","DOI":"10.4153\/CJM-1956-045-5","volume":"8","author":"LR Ford Jr","year":"1956","unstructured":"Ford Jr., L.R., Fulkerson, D.R.: Maximal flow through a network. Can. J. Math. 8, 399\u2013404 (1956)","journal-title":"Can. J. Math."},{"issue":"1\u20133","key":"1652_CR21","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0012-365X(93)90158-P","volume":"111","author":"A Frank","year":"1993","unstructured":"Frank, A.: Submodular functions in graph theory. Discrete Math. 111(1\u20133), 231\u2013243 (1993)","journal-title":"Discrete Math."},{"issue":"1\u20132","key":"1652_CR22","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10107-010-0360-z","volume":"124","author":"O G\u00fcnl\u00fck","year":"2010","unstructured":"G\u00fcnl\u00fck, O., Linderoth, J.: Perspective reformulations of mixed integer nonlinear programs with indicator variables. Math. Program. 124(1\u20132), 183\u2013205 (2010)","journal-title":"Math. Program."},{"key":"1652_CR23","doi-asserted-by":"crossref","unstructured":"Hijazi, H., Bonami, P., Cornu\u00e9jols, G., Ouorou, A.: Mixed-integer nonlinear programs featuring \u201con\/off\u201d constraints. Comput. Optim. Appl. 52(2), 537\u2013558 (2012)","DOI":"10.1007\/s10589-011-9424-0"},{"key":"1652_CR24","unstructured":"Hijazi, H.L., Bonami, P., Ouorou, A.: A note on linear on\/off constraints. http:\/\/www.optimization-online.org\/DB_FILE\/2014\/04\/4309.pdf (2014)"},{"issue":"2","key":"1652_CR25","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s100970050003","volume":"2","author":"B Huber","year":"2000","unstructured":"Huber, B., Rambau, J., Santos, F.: The cayley trick, lifting subdivisions and the bohne-dress theorem on zonotopal tilings. J. Eur. Math. Soc. 2(2), 179\u2013198 (2000)","journal-title":"J. Eur. Math. Soc."},{"key":"1652_CR26","doi-asserted-by":"crossref","unstructured":"Huchette, J., Vielma, J.P.: A combinatorial approach for small and strong formulations of disjunctive constraints. Math. Oper. Res. 44(3), 793\u2013820 (2019)","DOI":"10.1287\/moor.2018.0946"},{"key":"1652_CR27","doi-asserted-by":"crossref","unstructured":"Huchette, J., Vielma, J.P.: A geometric way to build strong mixed-integer programming formulations. Oper. Res. Lett. 47(6), 601\u2013606 (2019)","DOI":"10.1016\/j.orl.2019.10.003"},{"key":"1652_CR28","unstructured":"Huchette, J., Vielma, J.P.: Nonconvex piecewise linear functions: advanced formulations and simple modeling tools. to appear in Oprations Research, arXiv:1708.00050 (2019)"},{"issue":"2","key":"1652_CR29","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1137\/S089548019630978X","volume":"12","author":"J Janssen","year":"1999","unstructured":"Janssen, J., Kilakos, K.: Bounded stable sets: polytopes and colorings. SIAM J. Discrete Math. 12(2), 262\u2013275 (1999)","journal-title":"SIAM J. Discrete Math."},{"issue":"2","key":"1652_CR30","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0012-365X(75)90003-5","volume":"11","author":"RG Jeroslow","year":"1975","unstructured":"Jeroslow, R.G.: On defining sets of vertices of the hypercube by linear inequalities. Discrete Math. 11(2), 119\u2013124 (1975)","journal-title":"Discrete Math."},{"issue":"1","key":"1652_CR31","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/0377-2217(88)90013-6","volume":"36","author":"RG Jeroslow","year":"1988","unstructured":"Jeroslow, R.G.: A simplification for some disjunctive formulations. Eur. J. Oper. Res. 36(1), 116\u2013121 (1988)","journal-title":"Eur. J. Oper. Res."},{"key":"1652_CR32","doi-asserted-by":"crossref","unstructured":"Jeroslow, R.G., Lowe, J.K.: Modelling with integer variables. 22, 167\u2013184 (1984)","DOI":"10.1007\/BFb0121015"},{"key":"1652_CR33","unstructured":"Kaibel, V., Loos, A.: Finding descriptions of polytopes via extended formulations and liftings. arXiv preprint arXiv:1109.0815 (2011)"},{"key":"1652_CR34","doi-asserted-by":"crossref","unstructured":"Karavelas, M.I., Konaxis, C., Tzanaki, E.: The maximum number of faces of the minkowski sum of three convex polytopes. In: Proceedings of the Twenty-Ninth Annual Symposium on Computational Geometry, pp. 187\u2013196 (2013)","DOI":"10.1137\/1.9781611973099.2"},{"issue":"2","key":"1652_CR35","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.disopt.2006.12.003","volume":"5","author":"M K\u00f6ppe","year":"2008","unstructured":"K\u00f6ppe, M., Louveaux, Q., Weismantel, R.: Intermediate integer programming representations using value disjunctions. Discrete Optim. 5(2), 293\u2013313 (2008)","journal-title":"Discrete Optim."},{"issue":"3","key":"1652_CR36","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0166-218X(00)00216-X","volume":"108","author":"J Lee","year":"2001","unstructured":"Lee, J., Wilson, D.: Polyhedral methods for piecewise-linear functions I: the lambda method. Discrete Appl. Math. 108(3), 269\u2013285 (2001)","journal-title":"Discrete Appl. Math."},{"key":"1652_CR37","doi-asserted-by":"crossref","unstructured":"Lubin, M., Zadik, I., Vielma, J.P.: Mixed-integer convex representability. In: International Conference on Integer Programming and Combinatorial Optimization. Springer, Berlin, pp. 392\u2013404 (2017)","DOI":"10.1007\/978-3-319-59250-3_32"},{"issue":"2\u20133","key":"1652_CR38","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/s10107-005-0665-5","volume":"105","author":"A Martin","year":"2006","unstructured":"Martin, A., M\u00f6ller, M., Moritz, S.: Mixed integer models for the stationary case of gas network optimization. Math. Program. 105(2\u20133), 563\u2013582 (2006)","journal-title":"Math. Program."},{"issue":"1","key":"1652_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6377(00)00028-6","volume":"27","author":"M Padberg","year":"2000","unstructured":"Padberg, M.: Approximating separable nonlinear functions via mixed zero-one programs. Oper. Res. Lett. 27(1), 1\u20135 (2000)","journal-title":"Oper. Res. Lett."},{"key":"1652_CR40","unstructured":"Pashkovich, K.: Extended formulations for combinatorial polytopes. Ph.D. thesis, Fakult\u00e4t f\u00fcrr Mathematik der Otto-von-Guericke-Universit\u00e4t Magdeburg (2012)"},{"key":"1652_CR41","doi-asserted-by":"crossref","unstructured":"Song, G., Kis, T., Leus, R.: Polyhedral results and branch-and-cut for the resource loading problem. INFORMS J. Comput., accepted (2020)","DOI":"10.1287\/ijoc.2020.0957"},{"issue":"1\u20132","key":"1652_CR42","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/s10107-010-0374-6","volume":"124","author":"M Tawarmalani","year":"2010","unstructured":"Tawarmalani, M., Richard, J.-P.P., Chung, K.: Strong valid inequalities for orthogonal disjunctions and bilinear covering sets. Math. Program. 124(1\u20132), 481\u2013512 (2010)","journal-title":"Math. Program."},{"issue":"1\u20133","key":"1652_CR43","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF01589393","volume":"42","author":"JA Tomlin","year":"1988","unstructured":"Tomlin, J.A.: Special ordered sets and an application to gas supply operations planning. Math. Program. 42(1\u20133), 69\u201384 (1988)","journal-title":"Math. Program."},{"key":"1652_CR44","doi-asserted-by":"crossref","unstructured":"Vielma, J.P.: Mixed integer linear programming formulation techniques. SIAM Rev. 57(1), 3\u201357 (2015)","DOI":"10.1137\/130915303"},{"key":"1652_CR45","doi-asserted-by":"crossref","unstructured":"Vielma, J.P.: Embedding formulations and complexity for unions of polyhedra. Manag. Sci. 64(10), 4721\u20134734 (2018)","DOI":"10.1287\/mnsc.2017.2856"},{"key":"1652_CR46","doi-asserted-by":"crossref","unstructured":"Vielma, J.P.: Small and strong formulations for unions of convex sets from the cayley embedding. Math. Program. 177(1\u20132), 21\u201353 (2019)","DOI":"10.1007\/s10107-018-1258-4"},{"issue":"2","key":"1652_CR47","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1287\/opre.1090.0721","volume":"58","author":"JP Vielma","year":"2010","unstructured":"Vielma, J.P., Ahmed, S., Nemhauser, G.: Mixed-integer models for nonseparable piecewise-linear optimization: unifying framework and extensions. Oper. Res. 58(2), 303\u2013315 (2010)","journal-title":"Oper. Res."},{"issue":"1\u20132","key":"1652_CR48","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10107-009-0295-4","volume":"128","author":"JP Vielma","year":"2011","unstructured":"Vielma, J.P., Nemhauser, G.L.: Modeling disjunctive constraints with a logarithmic number of binary variables and constraints. Math. Program. 128(1\u20132), 49\u201372 (2011)","journal-title":"Math. Program."},{"key":"1652_CR49","unstructured":"Weibel, C.: Minkowski sums of polytopes: combinatorics and computation. PhD thesis, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland (2007)"},{"key":"1652_CR50","doi-asserted-by":"crossref","unstructured":"Yan, H., Hooker, J.N.: Tight representation of logical constraints as cardinality rules. Math. Program. 85(2), (1999)","DOI":"10.1007\/s101070050061"},{"key":"1652_CR51","unstructured":"Ziegler, G.M: Lectures on polytopes. Springer, Berlin, 152 (2012)"}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-021-01652-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10107-021-01652-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-021-01652-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T19:09:51Z","timestamp":1656356991000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10107-021-01652-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,16]]},"references-count":51,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2022,7]]}},"alternative-id":["1652"],"URL":"https:\/\/doi.org\/10.1007\/s10107-021-01652-z","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"type":"print","value":"0025-5610"},{"type":"electronic","value":"1436-4646"}],"subject":[],"published":{"date-parts":[[2021,4,16]]},"assertion":[{"value":"17 March 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 April 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 April 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"There are no conflicts of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}