{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:24:17Z","timestamp":1725888257976},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319592497"},{"type":"electronic","value":"9783319592503"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-59250-3_7","type":"book-chapter","created":{"date-parts":[[2017,5,23]],"date-time":"2017-05-23T13:04:39Z","timestamp":1495544679000},"page":"75-85","source":"Crossref","is-referenced-by-count":5,"title":["Mixed-Integer Linear Representability, Disjunctions, and Variable Elimination"],"prefix":"10.1007","author":[{"given":"Amitabh","family":"Basu","sequence":"first","affiliation":[]},{"given":"Kipp","family":"Martin","sequence":"additional","affiliation":[]},{"given":"Christopher Thomas","family":"Ryan","sequence":"additional","affiliation":[]},{"given":"Guanyi","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,24]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/s10479-009-0623-3","volume":"188","author":"E Balas","year":"2011","unstructured":"Balas, E.: Projecting systems of linear inequalities with binary variables. Ann. Oper. Res. 188(1), 19\u201331 (2011)","journal-title":"Ann. Oper. Res."},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF01583794","volume":"23","author":"C Blair","year":"1982","unstructured":"Blair, C., Jeroslow, R.: The value function of an integer program. Math. Program. 23, 237\u2013273 (1982)","journal-title":"Math. Program."},{"key":"7_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-11008-0","volume-title":"Integer Programming","author":"M Conforti","year":"2014","unstructured":"Conforti, M., Cornu\u00e9jols, G., Zambelli, G.: Integer Programming. Springer, Heidelberg (2014)"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BFb0121015","volume-title":"Mathematical Programming at Oberwolfach II","author":"R Jeroslow","year":"1984","unstructured":"Jeroslow, R., Lowe, J.: Modelling with integer variables. In: Korte, B., Ritter, K. (eds.) Mathematical Programming at Oberwolfach II, vol. 22, pp. 167\u2013184. Springer, Heidelberg (1984)"},{"key":"7_CR5","unstructured":"Ryan, J.: Integral monoid duality models. Technical report, Cornell University Operations Research and Industrial Engineering (1986)"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0024-3795(91)90220-Q","volume":"153","author":"J Ryan","year":"1991","unstructured":"Ryan, J.: Decomposing finitely generated integral monoids by elimination. Linear Algebra Appl. 153, 209\u2013217 (1991)","journal-title":"Linear Algebra Appl."},{"volume-title":"Theory of Linear and Integer Programming","year":"1986","author":"A Schrijver","key":"7_CR7","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. Wiley, New York (1986)"},{"issue":"1","key":"7_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1137\/130915303","volume":"57","author":"JP Vielma","year":"2015","unstructured":"Vielma, J.P.: Mixed integer linear programming formulation techniques. SIAM Rev. 57(1), 3\u201357 (2015)","journal-title":"SIAM Rev."},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/0097-3165(76)90055-8","volume":"21","author":"HP Williams","year":"1976","unstructured":"Williams, H.P.: Fourier-Motzkin elimination extension to integer programming problems. J. Comb. Theor. A 21, 118\u2013123 (1976)","journal-title":"J. Comb. Theor. A"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1057\/jors.1992.65","volume":"43","author":"HP Williams","year":"1992","unstructured":"Williams, H.P.: The elimination of integer variables. J. Oper. Res. Soc. 43, 387\u2013393 (1992)","journal-title":"J. Oper. Res. Soc."},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.disopt.2016.08.004","volume":"22","author":"H Williams","year":"2016","unstructured":"Williams, H., Hooker, J.: Integer programming as projection. Discrete Optim. 22, 291\u2013311 (2016)","journal-title":"Discrete Optim."},{"issue":"3","key":"7_CR12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0166-218X(81)90016-0","volume":"3","author":"L Wolsey","year":"1981","unstructured":"Wolsey, L.: The b-hull of an integer program. Discrete Appl. Math. 3(3), 193\u2013201 (1981)","journal-title":"Discrete Appl. Math."}],"container-title":["Lecture Notes in Computer Science","Integer Programming and Combinatorial Optimization"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59250-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T18:04:27Z","timestamp":1692813867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59250-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319592497","9783319592503"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59250-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}