{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T22:33:24Z","timestamp":1767825204585,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642208065","type":"print"},{"value":"9783642208072","type":"electronic"}],"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-20807-2_9","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T13:58:49Z","timestamp":1308405529000},"page":"104-116","source":"Crossref","is-referenced-by-count":26,"title":["An Exact Rational Mixed-Integer Programming Solver"],"prefix":"10.1007","author":[{"given":"William","family":"Cook","sequence":"first","affiliation":[]},{"given":"Thorsten","family":"Koch","sequence":"additional","affiliation":[]},{"given":"Daniel E.","family":"Steffy","sequence":"additional","affiliation":[]},{"given":"Kati","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Achterberg, T.: Constraint Integer Programming. Ph.D. thesis, Technische Universit\u00e4t Berlin (2007)"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","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. Programming Computation\u00a01(1), 1\u201341 (2009)","journal-title":"Math. Programming Computation"},{"key":"9_CR3","unstructured":"Achterberg, T., Koch, T., Martin, A.: The mixed integer programming library: MIPLIB (2003), \n                  \n                    http:\/\/miplib.zib.de"},{"key":"9_CR4","series-title":"LNCS","first-page":"40","volume-title":"SEA 2009","author":"E. Althaus","year":"2009","unstructured":"Althaus, E., Dumitriu, D.: Fast and accurate bounds on linear programs. In: Vahrenhold, J. (ed.) SEA 2009. LNCS, vol.\u00a05526, pp. 40\u201350. Springer, Heidelberg (2009)"},{"key":"9_CR5","volume-title":"The Traveling Salesman Problem: A Computational Study","author":"D.L. 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":"9_CR6","unstructured":"Applegate, D.L., Cook, W.J., Dash, S., Espinoza, D.G.: QSopt_ex, \n                  \n                    http:\/\/www.dii.uchile.cl\/~daespino\/ESolver_doc\/main.html"},{"issue":"6","key":"9_CR7","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1016\/j.orl.2006.12.010","volume":"35","author":"D.L. Applegate","year":"2007","unstructured":"Applegate, D.L., Cook, W.J., Dash, S., Espinoza, D.G.: Exact solutions to linear programming problems. Oper. Res. Lett.\u00a035(6), 693\u2013699 (2007)","journal-title":"Oper. Res. Lett."},{"key":"9_CR8","first-page":"12","volume":"58","author":"R.E. Bixby","year":"1998","unstructured":"Bixby, R.E., Ceria, S., McZeal, C.M., Savelsbergh, M.W.: An updated mixed integer programming library: MIPLIB 3.0. Optima\u00a058, 12\u201315 (1998)","journal-title":"Optima"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1287\/ijoc.1090.0324","volume":"21","author":"W.J. Cook","year":"2009","unstructured":"Cook, W.J., Dash, S., Fukasawa, R., Goycoolea, M.: Numerically safe Gomory mixed-integer cuts. INFORMS J. Comput.\u00a021(4), 641\u2013649 (2009)","journal-title":"INFORMS J. Comput."},{"key":"9_CR10","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 (2003)"},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s101070100263","volume":"91","author":"E.D. Dolan","year":"2001","unstructured":"Dolan, E.D., Mor\u00e9, J.J.: Benchmarking optimization software with performance profiles. Math. Programming\u00a091(2), 201\u2013213 (2001)","journal-title":"Math. Programming"},{"key":"9_CR12","unstructured":"Espinoza, D.G.: On Linear Programming, Integer Programming and Cutting Planes. Ph.D. thesis, Georgia Institute of Technology (2006)"},{"key":"9_CR13","unstructured":"GMP: GNU multiple precision arithmetic library, \n                  \n                    http:\/\/gmplib.org"},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","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 Computing Surveys (CSUR)\u00a023(1), 5\u201348 (1991)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"9_CR15","unstructured":"IBM\u00a0ILOG: CPLEX, \n                  \n                    http:\/\/www.ilog.com\/products\/cplex"},{"issue":"2","key":"9_CR16","doi-asserted-by":"publisher","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.\u00a032(2), 138\u2013142 (2004)","journal-title":"Oper. Res. Lett."},{"key":"9_CR17","unstructured":"Kwappik, C.: Exact Linear Programming. Master thesis, Universit\u00e4t des Saarlandes (1998)"},{"key":"9_CR18","unstructured":"Mittelmann, H.D.: Benchmarks for Optimization Software (2010), \n                  \n                    http:\/\/plato.asu.edu\/bench.html"},{"issue":"2","key":"9_CR19","doi-asserted-by":"publisher","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. Programming\u00a099(2), 283\u2013296 (2004)","journal-title":"Math. Programming"},{"key":"9_CR20","unstructured":"Steffy, D.E.: Topics in Exact Precision Mathematical Programming. Ph.D. thesis, Georgia Institute of Technology (2011)"},{"issue":"3","key":"9_CR21","doi-asserted-by":"publisher","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.\u00a015(3), 284\u2013309 (2003)","journal-title":"INFORMS J. Comput."},{"issue":"5","key":"9_CR22","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/358438.349318","volume":"35","author":"K. Wilken","year":"2000","unstructured":"Wilken, K., Liu, J., Heffernan, M.: Optimal instruction scheduling using integer programming. SIGPLAN Notices\u00a035(5), 121\u2013133 (2000)","journal-title":"SIGPLAN Notices"},{"key":"9_CR23","unstructured":"Zuse Institute Berlin: SCIP, \n                  \n                    http:\/\/scip.zib.de"}],"container-title":["Lecture Notes in Computer Science","Integer Programming and Combinatoral Optimization"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20807-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T02:13:06Z","timestamp":1553825586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20807-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208065","9783642208072"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20807-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}