{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T01:29:24Z","timestamp":1785202164652,"version":"3.55.0"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,6,30]],"date-time":"2013-06-30T00:00:00Z","timestamp":1372550400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Prog. Comp."],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s12532-013-0055-6","type":"journal-article","created":{"date-parts":[[2013,6,29]],"date-time":"2013-06-29T06:38:07Z","timestamp":1372487887000},"page":"305-344","source":"Crossref","is-referenced-by-count":39,"title":["A hybrid branch-and-bound approach for exact rational mixed-integer programming"],"prefix":"10.1007","volume":"5","author":[{"given":"William","family":"Cook","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thorsten","family":"Koch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel E.","family":"Steffy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kati","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,6,30]]},"reference":[{"key":"55_CR1","unstructured":"Achterberg, T.: ALU instances. http:\/\/miplib.zib.de\/miplib2003\/contrib\/ALU"},{"key":"55_CR2","unstructured":"Achterberg, T.: Constraint Integer Programming. Ph.D. thesis, Technische Universit\u00e4t Berlin (2007)"},{"issue":"1","key":"55_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s12532-008-0001-1","volume":"1","author":"T Achterberg","year":"2009","unstructured":"Achterberg, T.: SCIP: Solving constraint integer programs. Math. Program. Comput. 1(1), 1\u201341 (2009)","journal-title":"Math. Program. Comput."},{"key":"55_CR4","unstructured":"Achterberg, T., Koch, T., Martin, A.: The mixed integer programming library: MIPLIB (2003). http:\/\/miplib.zib.de"},{"key":"55_CR5","doi-asserted-by":"crossref","unstructured":"Althaus, E., Dumitriu, D.: Fast and accurate bounds on linear programs. In: Vahrenhold, J. (ed.) SEA 2009. LNCS, vol. 5526, pp. 40\u201350. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02011-7_6"},{"key":"55_CR6","volume-title":"The Traveling Salesman Problem: A Computational Study","author":"DL Applegate","year":"2006","unstructured":"Applegate, D.L., Bixby, R.E., Chv\u00e1tal, V., Cook, W.J.: The Traveling Salesman Problem: A Computational Study. Princeton University Press, Princeton (2006)"},{"key":"55_CR7","unstructured":"Applegate, D.L., Cook, W.J., Dash, S., Espinoza, D.G.: $$\\text{ QSopt }\\_\\text{ ex }.$$ QSopt _ ex . http:\/\/www.dii.uchile.cl\/daespino\/ESolver_doc\/main.html"},{"issue":"6","key":"55_CR8","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1016\/j.orl.2006.12.010","volume":"35","author":"DL Applegate","year":"2007","unstructured":"Applegate, D.L., Cook, W.J., Dash, S., Espinoza, D.G.: Exact solutions to linear programming problems. Oper. Res. Lett. 35(6), 693\u2013699 (2007)","journal-title":"Oper. Res. Lett."},{"key":"55_CR9","unstructured":"AT &T Bell Laboratories, The University of Tennessee Knoxville, and Oak Ridge National Laboratory. Netlib Repository. http:\/\/www.netlib.org\/netlib\/lp"},{"key":"55_CR10","unstructured":"Bixby, R.E., Ceria, S., McZeal, C.M., Savelsbergh, M.W.: An updated mixed integer programming library: MIPLIB 3.0. Optima 58, 12\u201315 (1998)"},{"key":"55_CR11","first-page":"13","volume":"54","author":"A Bley","year":"2000","unstructured":"Bley, A., Koch, T.: Optimierung des G-WiN. DFN-Mitteilungen 54, 13\u201315 (2000)","journal-title":"DFN-Mitteilungen"},{"issue":"3","key":"55_CR12","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1080\/10556780500098599","volume":"21","author":"J Chai","year":"2006","unstructured":"Chai, J., Toh, K.: Computation of condition numbers for linear programming problems using Pe\u00f1a\u2019s method. Optim. Methods Softw. 21(3), 419\u2013443 (2006)","journal-title":"Optim. Methods Softw."},{"key":"55_CR13","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s101070100237","volume":"91","author":"D Cheung","year":"2001","unstructured":"Cheung, D., Cucker, F.: A new condition number for linear programming. Math. Program. 91, 163\u2013174 (2001)","journal-title":"Math. Program."},{"key":"55_CR14","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s10107-003-0393-7","volume":"99","author":"D Cheung","year":"2004","unstructured":"Cheung, D., Cucker, F.: Solving linear programs with finite precision: I. Condition numbers and random programs. Math. Program. 99, 175\u2013196 (2004)","journal-title":"Math. Program."},{"issue":"3","key":"55_CR15","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/j.jco.2005.10.001","volume":"22","author":"D Cheung","year":"2006","unstructured":"Cheung, D., Cucker, F.: Solving linear programs with finite precision: II. Algorithms. J. Complex. 22(3), 305\u2013335 (2006)","journal-title":"Algorithms. J. Complex."},{"key":"55_CR16","unstructured":"Cheung, D., Cucker, F., Pe\u00f1a, J.: Unifying condition numbers for linear programming. Math. Oper. Res. 28(4), 609\u2013624 (2003)"},{"issue":"4","key":"55_CR17","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1287\/ijoc.1090.0324","volume":"21","author":"WJ Cook","year":"2009","unstructured":"Cook, W.J., Dash, S., Fukasawa, R., Goycoolea, M.: Numerically safe Gomory mixed-integer cuts. INFORMS J. Comput. 21(4), 641\u2013649 (2009)","journal-title":"INFORMS J. Comput."},{"issue":"3","key":"55_CR18","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/99.714603","volume":"5","author":"J Czyzyk","year":"1998","unstructured":"Czyzyk, J., Mesnier, M.P., Mor\u00e9, J.J.: The Network-Enabled Optimization System (NEOS) server. IEEE J. Comput. Sci. Eng. 5(3), 68\u201375 (1998)","journal-title":"IEEE J. Comput. Sci. Eng."},{"issue":"3","key":"55_CR19","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1287\/ijoc.15.3.284.16077","volume":"15","author":"S Vries de","year":"2003","unstructured":"de Vries, S., Vohra, R.: Combinatorial auctions: a survey. INFORMS J. Comput. 15(3), 284\u2013309 (2003)","journal-title":"INFORMS J. Comput."},{"key":"55_CR20","unstructured":"Dhiflaoui, M., Funke, S., Kwappik, C., Mehlhorn, K., Seel, M., Sch\u00f6mer, E., Schulte, R., Weber, D.: Certifying and repairing solutions to large LPs, how good are LP-solvers? In: SODA 2003, pp. 255\u2013256. ACM\/SIAM, New York (2003)"},{"issue":"2","key":"55_CR21","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s101070100263","volume":"91","author":"ED Dolan","year":"2001","unstructured":"Dolan, E.D., Mor\u00e9, J.J.: Benchmarking optimization software with performance profiles. Math. Program. 91(2), 201\u2013213 (2001)","journal-title":"Math. Program."},{"key":"55_CR22","unstructured":"Espinoza, D.G.: On Linear Programming, Integer Programming and Cutting Planes. Ph.D. thesis, Georgia Institute of Technology (2006)"},{"key":"55_CR23","first-page":"10","volume":"13","author":"DM Gay","year":"1985","unstructured":"Gay, D.M.: Electronic mail distribution of linear programming test problems. Math. Program. Soc. COAL Newsl. 13, 10\u201312 (1985)","journal-title":"Math. Program. Soc. COAL Newsl."},{"key":"55_CR24","unstructured":"GMP. GNU multiple precision arithmetic library. http:\/\/gmplib.org"},{"issue":"1","key":"55_CR25","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"D Goldberg","year":"1991","unstructured":"Goldberg, D.: What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. (CSUR) 23(1), 5\u201348 (1991)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"55_CR26","unstructured":"IBM, ILOG. CPLEX. http:\/\/www.ilog.com\/products\/cplex"},{"issue":"2","key":"55_CR27","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/S0167-6377(03)00094-4","volume":"32","author":"T Koch","year":"2004","unstructured":"Koch, T.: The final NETLIB-LP results. Oper. Res. Lett. 32(2), 138\u2013142 (2004)","journal-title":"Oper. Res. Lett."},{"key":"55_CR28","unstructured":"Koch, T.: Rapid Mathematical Programming. Ph.D. thesis, Technische Universit\u00e4t Berlin (2004)"},{"issue":"2","key":"55_CR29","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s12532-011-0025-9","volume":"3","author":"T Koch","year":"2011","unstructured":"Koch, T., Achterberg, T., Andersen, E., Bastert, O., Berthold, T., Bixby, R.E., Danna, E., Gamrath, G., Gleixner, A.M., Heinz, S., Lodi, A., Mittelmann, H., Ralphs, T., Salvagnin, D., Steffy, D.E., Wolter, K.: MIPLIB 2010. Math. Program. Comput. 3(2), 103\u2013163 (2011)","journal-title":"Math. Program. Comput."},{"key":"55_CR30","volume-title":"Exact Linear Programming","author":"C Kwappik","year":"1998","unstructured":"Kwappik, C.: Exact Linear Programming. Universit\u00e4t des Saarlandes, Master thesis (1998)"},{"key":"55_CR31","unstructured":"Lehigh University. COR@L mixed integer programming collection. http:\/\/coral.ie.lehigh.edu\/data-sets\/mixed-integer-instances"},{"key":"55_CR32","first-page":"253","volume-title":"Integer programming: theory and practice","author":"JT Linderoth","year":"2005","unstructured":"Linderoth, J.T., Ralphs, T.K.: Noncommercial software for mixed-integer linear programming. In: Karlof, J. (ed.) Integer programming: theory and practice, pp. 253\u2013303. CRC Press, Boca Raton (2005)"},{"key":"55_CR33","unstructured":"Mittelmann, H.D.: Benchmarks for Optimization Software (2010). http:\/\/plato.asu.edu\/bench.html"},{"key":"55_CR34","unstructured":"NEOS Server. http:\/\/neos-server.org\/neos"},{"issue":"2","key":"55_CR35","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/s10107-003-0433-3","volume":"99","author":"A Neumaier","year":"2004","unstructured":"Neumaier, A., Shcherbina, O.: Safe bounds in linear and mixed-integer linear programming. Math. Program. 99(2), 283\u2013296 (2004)","journal-title":"Math. Program."},{"key":"55_CR36","first-page":"1","volume":"83","author":"M Nunez","year":"1998","unstructured":"Nunez, M., Freund, R.M.: Condition measures and properties of the central trajectory of a linear program. Math. Program. 83, 1\u201328 (1998)","journal-title":"Math. Program."},{"issue":"2","key":"55_CR37","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1137\/S1052623402401804","volume":"14","author":"F Ord\u00f3nez","year":"2003","unstructured":"Ord\u00f3nez, F., Freund, R.M.: Computational experience and the explanatory value of condition measures for linear optimization. SIAM J. Optim. 14(2), 307\u2013333 (2003)","journal-title":"SIAM J. Optim."},{"key":"55_CR38","unstructured":"Pseudo-Boolean Competition (2010). http:\/\/www.cril.univ-artois.fr\/PB10\/"},{"key":"55_CR39","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF01581690","volume":"65","author":"J Renegar","year":"1994","unstructured":"Renegar, J.: Some perturbation theory for linear programming. Math. Program. 65, 73\u201391 (1994)","journal-title":"Math. Program."},{"key":"55_CR40","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1137\/0805026","volume":"5","author":"J Renegar","year":"1995","unstructured":"Renegar, J.: Incorporating condition measures into the complexity theory of linear programming. SIAM J. Optim. 5, 506\u2013524 (1995)","journal-title":"SIAM J. Optim."},{"key":"55_CR41","first-page":"279","volume":"70","author":"J Renegar","year":"1995","unstructured":"Renegar, J.: Linear programming, complexity theory and elementary functional analysis. Math. Program. 70, 279\u2013351 (1995)","journal-title":"Math. Program."},{"key":"55_CR42","unstructured":"Steffy, D.E.: Topics in Exact Precision Mathematical Programming. Ph.D. thesis, Georgia Institute of Technology (2011)"},{"key":"55_CR43","unstructured":"Steffy, D.E., Wolter, K.: Valid linear programming bounds for exact mixed-integer programming. Technical Report ZR 11\u201308, Zuse Institute Berlin. INFORMS J. Comput. (2011, to appear)"},{"key":"55_CR44","first-page":"91","volume":"80","author":"JR Vera","year":"1998","unstructured":"Vera, J.R.: On the complexity of linear programming under finite precision arithmetic. Math. Program. 80, 91\u2013123 (1998)","journal-title":"Math. Program."},{"key":"55_CR45","doi-asserted-by":"crossref","unstructured":"Wilken, K., Liu, J., Heffernan, M.: Optimal instruction scheduling using integer programming. In: ACM SIGPLAN 2000, vol. 35, pp. 121\u2013133. ACM Press, New York (2000)","DOI":"10.1145\/358438.349318"},{"key":"55_CR46","unstructured":"Zuse Institute Berlin. SCIP. http:\/\/scip.zib.de"},{"key":"55_CR47","unstructured":"Zuse Institute Berlin. SoPlex. http:\/\/soplex.zib.de"}],"container-title":["Mathematical Programming Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12532-013-0055-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12532-013-0055-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12532-013-0055-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T19:08:40Z","timestamp":1688324920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12532-013-0055-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,30]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["55"],"URL":"https:\/\/doi.org\/10.1007\/s12532-013-0055-6","relation":{},"ISSN":["1867-2949","1867-2957"],"issn-type":[{"value":"1867-2949","type":"print"},{"value":"1867-2957","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,30]]}}}