{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T06:09:43Z","timestamp":1778825383139,"version":"3.51.4"},"reference-count":106,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100002661","name":"Fonds De La Recherche Scientifique - FNRS","doi-asserted-by":"publisher","award":["PDR 40007831"],"award-info":[{"award-number":["PDR 40007831"]}],"id":[{"id":"10.13039\/501100002661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007493","name":"Fondation Math\u00e9matique Jacques Hadamard","doi-asserted-by":"publisher","award":["P-2024-0015"],"award-info":[{"award-number":["P-2024-0015"]}],"id":[{"id":"10.13039\/501100007493","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Computer Science Review"],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1016\/j.cosrev.2026.100928","type":"journal-article","created":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T17:53:13Z","timestamp":1770659593000},"page":"100928","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["A horizon tour of box-total dual integrality"],"prefix":"10.1016","volume":"61","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7416-867X","authenticated-orcid":false,"given":"Emiliano","family":"Lancini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0799-5760","authenticated-orcid":false,"given":"Francesco","family":"Pisanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0005","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s10107-023-01967-z","article-title":"Total dual dyadicness and dyadic generating sets","volume":"206","author":"Abdi","year":"2024","journal-title":"Math. Program."},{"issue":"5","key":"10.1016\/j.cosrev.2026.100928_bib0010","first-page":"827","article-title":"Incidence matrices and linear graphs","volume":"8","author":"Auslander","year":"1959","journal-title":"J. Math. Mech."},{"issue":"5","key":"10.1016\/j.cosrev.2026.100928_bib0015","doi-asserted-by":"crossref","first-page":"1183","DOI":"10.1121\/1.1908945","article-title":"On the realization of a linear graph given its algebraic specification","volume":"33","author":"Auslander","year":"1961","journal-title":"J. Acoust. Soc. Am."},{"key":"10.1016\/j.cosrev.2026.100928_bib0020","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/s10107-021-01743-x","article-title":"Box-total dual integrality and edge-connectivity","volume":"197","author":"Barbato","year":"2023","journal-title":"Math. Program."},{"key":"10.1016\/j.cosrev.2026.100928_bib0025","series-title":"Optimization and Operations Research","first-page":"15","article-title":"Integer rounding and polyhedral decomposition for totally unimodular systems","author":"Baum","year":"1978"},{"issue":"4","key":"10.1016\/j.cosrev.2026.100928_bib0030","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1137\/0602044","article-title":"Integer rounding for polymatroid and branching optimization problems","volume":"2","author":"Baum","year":"1981","journal-title":"SIAM J. Algebraic Discrete Methods"},{"key":"10.1016\/j.cosrev.2026.100928_bib0035","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF01581034","article-title":"Finite checkability for integer rounding properties in combinatorial programming problems","volume":"22","author":"Baum","year":"1982","journal-title":"Math. Program."},{"issue":"12","key":"10.1016\/j.cosrev.2026.100928_bib0040","doi-asserted-by":"crossref","first-page":"1761","DOI":"10.1002\/1097-0207(20000830)48:12<1761::AID-NME963>3.0.CO;2-R","article-title":"Dual methods for discrete structural optimization problems","volume":"48","author":"Beckers","year":"2000","journal-title":"Int. J. Numer. Methods Eng."},{"key":"10.1016\/j.cosrev.2026.100928_bib0045","series-title":"F\u00e4rbung von graphen deren s\u00e4mtliche bzw. Deren ungerade kreise starr sind","first-page":"114","author":"Berge","year":"1961"},{"issue":"3","key":"10.1016\/j.cosrev.2026.100928_bib0050","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1287\/moor.5.3.321","article-title":"Converting linear programs to network problems","volume":"5","author":"Bixby","year":"1980","journal-title":"Math. Oper. Res."},{"key":"10.1016\/j.cosrev.2026.100928_bib0055","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/s00454-014-9601-x","article-title":"On sub-determinants and the diameter of polyhedra","volume":"52","author":"Bonifas","year":"2011","journal-title":"Discret. Comput. Geom."},{"key":"10.1016\/j.cosrev.2026.100928_bib0060","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0012-365X(89)90194-5","article-title":"A min-max relation for the partial q-colourings of a graph. Part II: box perfection","volume":"74","author":"Cameron","year":"1989","journal-title":"Discret. Math."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0065","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0012-365X(92)90585-4","article-title":"Coflow polyhedra","volume":"101","author":"Cameron","year":"1992","journal-title":"Discrete Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0070","series-title":"North-Holland Mathematics Studies","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0304-0208(08)73456-X","article-title":"Polynomial algorithms for totally dual integral systems and extensions","volume":"vol. 59","author":"Chandrasekaran","year":"1981"},{"issue":"3","key":"10.1016\/j.cosrev.2026.100928_bib0075","doi-asserted-by":"crossref","first-page":"1022","DOI":"10.1137\/090768400","article-title":"Total dual integrality in some facility location problems","volume":"26","author":"Chen","year":"2012","journal-title":"SIAM J. Discrete Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0080","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1287\/moor.1070.0306","article-title":"A characterization of Box-Mengerian matroid ports","volume":"33","author":"Chen","year":"2008","journal-title":"Math. Oper. Res."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0085","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/j.dam.2008.05.001","article-title":"The box-TDI system associated with 2-edge connected spanning subgraphs","volume":"157","author":"Chen","year":"2009","journal-title":"Discret. Appl. Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0090","series-title":"Handbook of Combinatorial Optimization","first-page":"995","article-title":"Dual integrality in combinatorial optimization","author":"Chen","year":"2013"},{"key":"10.1016\/j.cosrev.2026.100928_bib0095","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/j.jctb.2024.07.006","article-title":"A weak box-perfect graph theorem","volume":"169","author":"Chervet","year":"2024","journal-title":"J. Comb. Theory Ser. B"},{"key":"10.1016\/j.cosrev.2026.100928_bib0100","doi-asserted-by":"crossref","DOI":"10.1016\/j.disopt.2023.100810","article-title":"Hard problems on box-totally dual integral polyhedra","volume":"50","author":"Chervet","year":"2023","journal-title":"Discrete Optim."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0105","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/s10107-020-01514-0","article-title":"Box-total dual integrality, box-integrality, and equimodular matrices","volume":"188","author":"Chervet","year":"2021","journal-title":"Math. Program."},{"key":"10.1016\/j.cosrev.2026.100928_bib0110","author":"Chervet"},{"issue":"2","key":"10.1016\/j.cosrev.2026.100928_bib0115","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0095-8956(75)90041-6","article-title":"On certain polytopes associated with graphs","volume":"18","author":"Chv\u00e1tal","year":"1975","journal-title":"J. Comb. Theory Ser. B"},{"key":"10.1016\/j.cosrev.2026.100928_bib0120","series-title":"Integer Programming","author":"Conforti","year":"2014"},{"key":"10.1016\/j.cosrev.2026.100928_bib0125","series-title":"On Some Aspects of Totally Dual Integral Systems","author":"Cook","year":"1983"},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0130","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0167-6377(83)90062-7","article-title":"Operations that preserve total dual integrality","volume":"2","author":"Cook","year":"1983","journal-title":"Oper. Res. Lett."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0135","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/BF01582162","article-title":"On box totally dual integral polyhedra","volume":"34","author":"Cook","year":"1986","journal-title":"Math. Program."},{"key":"10.1016\/j.cosrev.2026.100928_bib0140","series-title":"Mathematical Programming at Oberwolfach II","first-page":"64","article-title":"A polynomial-time test for total dual integrality in fixed dimension","author":"Cook","year":"1984"},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0145","article-title":"Trader multiflow and box-TDI systems in series-parallel graphs","volume":"31","author":"Cornaz","year":"2019","journal-title":"Discrete Optim."},{"key":"10.1016\/j.cosrev.2026.100928_bib0150","series-title":"Combinatorial Optimization: Packing and Covering","author":"Cornu\u00e9jols","year":"2001"},{"key":"10.1016\/j.cosrev.2026.100928_bib0155","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/BF02592027","article-title":"Dominants and submissives of matching polyhedra","volume":"36","author":"Cunningham","year":"1986","journal-title":"Math. Program."},{"key":"10.1016\/j.cosrev.2026.100928_bib0160","series-title":"A Primal Algorithm for Optimum Matching","first-page":"50","author":"Cunningham","year":"1978"},{"key":"10.1016\/j.cosrev.2026.100928_bib0165","series-title":"Linear Inequalities and Related Systems","first-page":"215","article-title":"On the max-flow min-cut theorem of networks","volume":"vol. 38","author":"Dantzig","year":"1955"},{"key":"10.1016\/j.cosrev.2026.100928_bib0170","series-title":"Encontro De Teoria Da Computa\u00e7\u00e3o (ETC)","first-page":"36","article-title":"Towards combinatorial min-max relations from extended linear programming formulations","author":"de Carli Silva","year":"2025"},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0175","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1137\/18M1169710","article-title":"A notion of total dual integrality for convex, semidefinite, and extended formulations","volume":"34","author":"De Carli Silva","year":"2020","journal-title":"SIAM J. Discrete Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0180","series-title":"Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms","first-page":"577","article-title":"Totally unimodular congestion games","author":"Del Pia","year":"2017"},{"key":"10.1016\/j.cosrev.2026.100928_bib0185","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/s10474-017-0777-4","article-title":"Improved bounds on the diameter of lattice polytopes","volume":"154","author":"Deza","year":"2016","journal-title":"Acta Math. Hung."},{"key":"10.1016\/j.cosrev.2026.100928_bib0190","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/j.laa.2003.11.007","article-title":"The k-edge connected subgraph problem I: polytopes and critical extreme points","volume":"381","author":"Didi Biha","year":"2004","journal-title":"Linear Algebra Appl."},{"issue":"2","key":"10.1016\/j.cosrev.2026.100928_bib0195","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/s10107-007-0103-y","article-title":"The complexity of recognizing linear systems with certain integrality properties","volume":"114","author":"Ding","year":"2008","journal-title":"Math. Program."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0200","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1287\/moor.2017.0852","article-title":"When is the matching polytope box-totally dual integral?","volume":"43","author":"Ding","year":"2018","journal-title":"Math. Oper. Res."},{"key":"10.1016\/j.cosrev.2026.100928_bib0205","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1006\/jctb.2002.2134","article-title":"Packing cycles in graphs","volume":"86","author":"Ding","year":"2002","journal-title":"J. Comb. Theory Ser. B"},{"key":"10.1016\/j.cosrev.2026.100928_bib0210","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.jctb.2017.07.001","article-title":"On box-perfect graphs","volume":"128","author":"Ding","year":"2018","journal-title":"J. Comb. Theory Ser. B"},{"issue":"8","key":"10.1016\/j.cosrev.2026.100928_bib0215","doi-asserted-by":"crossref","first-page":"1636","DOI":"10.1016\/j.jpaa.2008.11.045","article-title":"Normal toric ideals of low codimension","volume":"213","author":"Dueck","year":"2009","journal-title":"J. Pure Appl. Algebra"},{"issue":"125\u2013130","key":"10.1016\/j.cosrev.2026.100928_bib0220","first-page":"55","article-title":"Maximum matching and a polyhedron with 0, 1-vertices","volume":"69","author":"Edmonds","year":"1965","journal-title":"J. Res. Natl. Bur. Stand. B"},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0225","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01584082","article-title":"Matroids and the greedy algorithm","volume":"1","author":"Edmonds","year":"1971","journal-title":"Math. Program."},{"key":"10.1016\/j.cosrev.2026.100928_bib0230","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0167-5060(08)70734-9","article-title":"A min-max relation for submodular functions on graphs","volume":"1","author":"Edmonds","year":"1977","journal-title":"Ann. Discrete Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0235","series-title":"Combinatorial Optimization\u2014Eureka, You Shrink! Papers Dedicated to Jack Edmonds 5th International Workshop Aussois, France, March 5\u20139, 2001 Revised Papers","first-page":"27","article-title":"Matching: a well-solved class of integer linear programs","author":"Edmonds","year":"2003"},{"issue":"1931","key":"10.1016\/j.cosrev.2026.100928_bib0240","first-page":"16","article-title":"Matrixok kombinatorius tulajdons\u00e1gair\u00f3l","volume":"38","author":"Egerv\u00e1ry","year":"1931","journal-title":"Mat. Fis. Lapok"},{"issue":"4","key":"10.1016\/j.cosrev.2026.100928_bib0245","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1109\/TIT.1956.1056816","article-title":"A note on the maximum flow through a network","volume":"2","author":"Elias","year":"1956","journal-title":"IRE Trans. Inf. Theory"},{"key":"10.1016\/j.cosrev.2026.100928_bib0250","doi-asserted-by":"crossref","first-page":"399","DOI":"10.4153\/CJM-1956-045-5","article-title":"Maximal flow through a network","volume":"8","author":"Ford","year":"1956","journal-title":"Can. J. Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0255","doi-asserted-by":"crossref","first-page":"1026","DOI":"10.1287\/moor.2021.1160","article-title":"A discrete convex Min-Max formula for box-TDI polyhedra","volume":"47","author":"Frank","year":"2020","journal-title":"Math. Oper. Res."},{"key":"10.1016\/j.cosrev.2026.100928_bib0260","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF02591852","article-title":"Total dual integrality implies local strong unimodularity","volume":"38","author":"Gerards","year":"1987","journal-title":"Math. Program."},{"key":"10.1016\/j.cosrev.2026.100928_bib0265","first-page":"1192","article-title":"Caract\u00e9risation des matrices totalement unimodulaires","volume":"254","author":"Ghouila-Houri","year":"1962","journal-title":"C. R. Hebd. Seances Acad. Sci."},{"key":"10.1016\/j.cosrev.2026.100928_bib0270","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/j.jctb.2011.04.004","article-title":"Polyhedra with the integer carath\u00e9odory property","volume":"102","author":"Gijswijt","year":"2010","journal-title":"J. Comb. Theory B"},{"key":"10.1016\/j.cosrev.2026.100928_bib0275","series-title":"Verifying total dual integrality","author":"Giles","year":"1981"},{"key":"10.1016\/j.cosrev.2026.100928_bib0280","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0024-3795(79)90018-1","article-title":"Total dual integrality and integer polyhedra","volume":"25","author":"Giles","year":"1979","journal-title":"Linear Algebra Appl."},{"issue":"2","key":"10.1016\/j.cosrev.2026.100928_bib0285","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1016\/j.disc.2015.09.021","article-title":"On hilbert bases of cuts","volume":"339","author":"Goddyn","year":"2016","journal-title":"Discrete Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0290","author":"Goemans"},{"issue":"5","key":"10.1016\/j.cosrev.2026.100928_bib0295","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1002\/sapm1958371193","article-title":"Graphs and vector spaces","volume":"37","author":"Gould","year":"1958","journal-title":"J. Math. Phys."},{"key":"10.1016\/j.cosrev.2026.100928_bib0300","series-title":"Polyhedra: some matricial perspectives","author":"Grappe","year":"2021"},{"key":"10.1016\/j.cosrev.2026.100928_bib0305","series-title":"On strong integrality properties of the perfect matching polytope","author":"Grappe","year":"2025"},{"key":"10.1016\/j.cosrev.2026.100928_bib0310","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0024-3795(93)00173-W","article-title":"On the minors of an incidence matrix and its smith normal form","volume":"218","author":"Grossman","year":"1995","journal-title":"Linear Algebra Appl."},{"key":"10.1016\/j.cosrev.2026.100928_bib0315","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/BF02579273","article-title":"The ellipsoid method and its consequences in combinatorial optimization","volume":"1","author":"Gr\u00f6tschel","year":"1981","journal-title":"Combinatorica"},{"key":"10.1016\/j.cosrev.2026.100928_bib0320","series-title":"Algorithms and Combinatorics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97881-4","article-title":"Geometric algorithms and combinatorial optimization","author":"Gr\u00f6tschel","year":"1988"},{"key":"10.1016\/j.cosrev.2026.100928_bib0325","first-page":"240","article-title":"R\u00e9solution d\u2019une question relative aux d\u00e9terminants","volume":"2","author":"Hadamard","year":"1893","journal-title":"Bull. Sci. Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0330","doi-asserted-by":"crossref","DOI":"10.2140\/pjm.1957.7.1351","article-title":"On linear systems with integral valued solutions","volume":"7","author":"Heller","year":"1957","journal-title":"Pac. J. Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0335","series-title":"Mathematical Software","first-page":"307","article-title":"On the computation of hilbert bases of cones","author":"Hemmecke","year":"2002"},{"key":"10.1016\/j.cosrev.2026.100928_bib0340","series-title":"On hilbert bases of polyhedral cones","author":"Henk","year":"1996"},{"issue":"3\u20134","key":"10.1016\/j.cosrev.2026.100928_bib0345","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/BF03322141","article-title":"The height of minimal hilbert bases","volume":"32","author":"Henk","year":"1997","journal-title":"Results Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0350","first-page":"223","article-title":"Integral boundary points of convex polyhedra","volume":"38","author":"Hoffman","year":"1956","journal-title":"Linear inequalities and related systems"},{"key":"10.1016\/j.cosrev.2026.100928_bib0355","first-page":"85","article-title":"Reducibility among combinatorial problems","author":"Karp","year":"1972"},{"key":"10.1016\/j.cosrev.2026.100928_bib0360","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/s10107-020-01546-6","article-title":"Computation and efficiency of potential function minimizers of combinatorial congestion games","volume":"190","author":"Kleer","year":"2021","journal-title":"Math. Program."},{"key":"10.1016\/j.cosrev.2026.100928_bib0365","first-page":"116","article-title":"Gr\u00e1fok \u00e9s m\u00e1trixok","volume":"38","author":"K\u00f6nig","year":"1931","journal-title":"Mat. \u00e9s Fiz. Lapok"},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0370","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0012-365X(95)00192-Y","article-title":"Hilbert bases of cuts","volume":"150","author":"Laurent","year":"1996","journal-title":"Discrete Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0375","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.cma.2018.10.050","article-title":"Topology optimization via sequential integer programming and canonical relaxation algorithm","volume":"348","author":"Liang","year":"2019","journal-title":"Comput. Methods Appl. Mech. Eng."},{"issue":"3","key":"10.1016\/j.cosrev.2026.100928_bib0380","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0012-365X(72)90006-4","article-title":"Normal hypergraphs and the perfect graph conjecture","volume":"2","author":"Lov\u00e1sz","year":"1972","journal-title":"Discrete Math."},{"issue":"5","key":"10.1016\/j.cosrev.2026.100928_bib0385","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1002\/jgt.3190140508","article-title":"Extending an edge-coloring","volume":"14","author":"Marcotte","year":"1990","journal-title":"J. Graph Theory"},{"issue":"3","key":"10.1016\/j.cosrev.2026.100928_bib0390","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0167-6377(91)90028-N","article-title":"Using separation algorithms to generate mixed integer model reformulations","volume":"10","author":"Martin","year":"1991","journal-title":"Oper. Res. Lett."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0395","doi-asserted-by":"crossref","first-page":"96","DOI":"10.4064\/fm-10-1-96-115","article-title":"Zur allgemeinen kurventheorie","volume":"10","author":"Menger","year":"1927","journal-title":"Fundam. Math."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0400","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s10107-013-0723-3","article-title":"The hirsch conjecture for the fractional stable set polytope","volume":"147","author":"Michini","year":"2014","journal-title":"Math. Program."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0405","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s13160-022-00512-3","article-title":"Note on the polyhedral description of the Minkowski sum of two L-convex sets","volume":"40","author":"Moriguchi","year":"2023","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"2","key":"10.1016\/j.cosrev.2026.100928_bib0410","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1007\/s13160-022-00499-x","article-title":"Discrete fenchel duality for a pair of integrally convex and separable convex functions","volume":"39","author":"Murota","year":"2022","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"3","key":"10.1016\/j.cosrev.2026.100928_bib0415","doi-asserted-by":"crossref","first-page":"1445","DOI":"10.1007\/s13160-023-00589-4","article-title":"Recent progress on integrally convex functions","volume":"40","author":"Murota","year":"2023","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"2","key":"10.1016\/j.cosrev.2026.100928_bib0420","doi-asserted-by":"crossref","first-page":"987","DOI":"10.1007\/s13160-023-00635-1","article-title":"Decomposition of an integrally convex set into a Minkowski sum of bounded and conic integrally convex sets","volume":"41","author":"Murota","year":"2024","journal-title":"Jpn. J. Ind. Appl. Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0425","series-title":"ACM-SIAM Symposium on Discrete Algorithms","first-page":"2234","article-title":"Complexity of polytope diameters via perfect matchings","author":"N\u00f6bel","year":"2024"},{"key":"10.1016\/j.cosrev.2026.100928_bib0430","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0167-6377(88)90024-7","article-title":"Total unimodularity and the Euler-subgraph problem","volume":"7","author":"Padberg","year":"1988","journal-title":"Oper. Res. Lett."},{"issue":"1\u20132","key":"10.1016\/j.cosrev.2026.100928_bib0435","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s10107-009-0294-5","article-title":"Recognizing conic TDI systems is hard","volume":"128","author":"Pap","year":"2011","journal-title":"Math. Program."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0440","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF02122701","article-title":"On recognizing integer polyhedra","volume":"10","author":"Papadimitriou","year":"1990","journal-title":"Combinatorica"},{"key":"10.1016\/j.cosrev.2026.100928_bib0445","series-title":"On box-total dual integrality and total equimodularity","author":"Pisanu","year":"2023"},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0450","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1112\/plms\/s1-32.1.277","article-title":"Second compl\u00e9ment \u00e0 l\u2019analysis situs","volume":"1","author":"Poincar\u00e9","year":"1900","journal-title":"Proc. Lond. Math. Soc."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0455","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/0167-6377(81)90021-3","article-title":"Total dual integrality and b-matchings","volume":"1","author":"Pulleyblank","year":"1981","journal-title":"Oper. Res. Lett."},{"key":"10.1016\/j.cosrev.2026.100928_bib0460","doi-asserted-by":"crossref","first-page":"383","DOI":"10.4007\/annals.2012.176.1.7","article-title":"A counterexample to the hirsch conjecture","author":"Santos","year":"2012","journal-title":"Ann. Math."},{"key":"10.1016\/j.cosrev.2026.100928_bib0465","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0024-3795(81)90005-7","article-title":"On total dual integrality","volume":"38","author":"Schrijver","year":"1981","journal-title":"Linear Algebra Appl."},{"key":"10.1016\/j.cosrev.2026.100928_bib0470","series-title":"Progress in Combinatorial Optimization","first-page":"315","article-title":"Total dual integrality from directed graphs, crossing families, and sub- and supermodular functions","author":"Schrijver","year":"1984"},{"key":"10.1016\/j.cosrev.2026.100928_bib0475","series-title":"Wiley-Interscience Series in Discrete Mathematics and Optimization","article-title":"Theory of linear and integer programming","author":"Schrijver","year":"1986"},{"key":"10.1016\/j.cosrev.2026.100928_bib0480","series-title":"Combinatorial Optimization: Polyhedra and Efficiency","volume":"vols. A-B-C","author":"Schrijver","year":"2003"},{"key":"10.1016\/j.cosrev.2026.100928_bib0485","series-title":"Proceedings of the 1st Integer Programming and Combinatorial Optimization Conference","first-page":"431","article-title":"Hilbert bases, carath\u00e9odory\u2019s theorem and combinatorial optimization","author":"Seb\u0151","year":"1990"},{"issue":"3","key":"10.1016\/j.cosrev.2026.100928_bib0490","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0095-8956(80)90075-1","article-title":"Decomposition of regular matroids","volume":"28","author":"Seymour","year":"1980","journal-title":"J. Comb. Theory Ser. B"},{"key":"10.1016\/j.cosrev.2026.100928_bib0495","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF01586058","article-title":"Paths on polymatroids","volume":"54","author":"Topkis","year":"1992","journal-title":"Math. Program."},{"issue":"2","key":"10.1016\/j.cosrev.2026.100928_bib0500","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0095-8956(90)90030-4","article-title":"A decomposition theory for matroids. V. Testing of matrix total unimodularity","volume":"49","author":"Truemper","year":"1990","journal-title":"J. Comb. Theory Ser. B"},{"key":"10.1016\/j.cosrev.2026.100928_bib0505","first-page":"905","article-title":"An algorithm for determining whether a given binary matroid is graphic","volume":"11","author":"Tutte","year":"1960","journal-title":"Proc. Am. Math. Soc."},{"key":"10.1016\/j.cosrev.2026.100928_bib0510","doi-asserted-by":"crossref","first-page":"1","DOI":"10.6028\/jres.069B.001","article-title":"Lectures on matroids","volume":"69B","author":"Tutte","year":"1965","journal-title":"J. Res. Natl. Bur. Stand. Sect. B Math. Math. Phys."},{"issue":"3","key":"10.1016\/j.cosrev.2026.100928_bib0515","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1137\/1010063","article-title":"Integral extreme points","volume":"10","author":"Veinott","year":"1968","journal-title":"SIAM Rev."},{"issue":"1","key":"10.1016\/j.cosrev.2026.100928_bib0520","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF01448847","article-title":"Zur theorie der gesellschaftsspiele","volume":"100","author":"von Neumann","year":"1928","journal-title":"Math. Ann."},{"key":"10.1016\/j.cosrev.2026.100928_bib0525","doi-asserted-by":"crossref","first-page":"886","DOI":"10.1287\/moor.21.4.886","article-title":"Hilbert bases and the facets of special knapsack polytopes","volume":"21","author":"Weismantel","year":"1996","journal-title":"Math. Oper. Res."},{"key":"10.1016\/j.cosrev.2026.100928_bib0530","series-title":"Lectures on Polytopes","volume":"vol. 152","author":"Ziegler","year":"1994"}],"container-title":["Computer Science Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574013726000377?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574013726000377?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T05:29:02Z","timestamp":1778822942000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574013726000377"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":106,"alternative-id":["S1574013726000377"],"URL":"https:\/\/doi.org\/10.1016\/j.cosrev.2026.100928","relation":{},"ISSN":["1574-0137"],"issn-type":[{"value":"1574-0137","type":"print"}],"subject":[],"published":{"date-parts":[[2026,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A horizon tour of box-total dual integrality","name":"articletitle","label":"Article Title"},{"value":"Computer Science Review","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.cosrev.2026.100928","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"100928"}}