{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T01:21:52Z","timestamp":1767835312657,"version":"3.49.0"},"reference-count":30,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"1","funder":[{"name":"German Federal Ministry of Education and Research"},{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["05M14ZAM"],"award-info":[{"award-number":["05M14ZAM"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["05M20ZBM"],"award-info":[{"award-number":["05M20ZBM"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Optim."],"published-print":{"date-parts":[[2024,3,31]]},"DOI":"10.1137\/23m156046x","type":"journal-article","created":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T09:01:20Z","timestamp":1708074080000},"page":"742-763","source":"Crossref","is-referenced-by-count":5,"title":["Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework"],"prefix":"10.1137","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0245-9344","authenticated-orcid":true,"given":"Leon","family":"Eifler","sequence":"first","affiliation":[{"name":"Zuse Institute Berlin, 14195 Berlin, Germany."}]},{"given":"Ambros","family":"Gleixner","sequence":"additional","affiliation":[{"name":"Zuse Institute Berlin, 14195 Berlin, Germany, and HTW Berlin, 10318 Berlin, Germany."}]}],"member":"351","published-online":{"date-parts":[[2024,2,16]]},"reference":[{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38189-8_18"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.orl.2008.09.006"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-018-3365-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2382585.2382589"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59250-3_13"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11008-0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1090.0324"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-013-0055-6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-021-01749-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3485630"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-020-00194-3"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-019-01444-6"},{"key":"ref20","volume-title":"GNU MP 6.0 Multiple Precision Arithmetic Library","author":"Granlund T.","year":"2015"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.11.1.117"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679408"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1007\/978-3-030-04651-4_46","volume-title":"Combinatorial Optimization and Applications","author":"Kenter F.","year":"2018"},{"key":"ref25","volume-title":"Continued Fractions","author":"Khinchin A. Y."},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-008-9218-7"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-49988-4_5"},{"key":"ref28","volume-title":"Introduction to Diophantine Approximations","author":"Lang S.","year":"1966"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.orl.2018.12.005"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1287\/opre.49.3.363.11211"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0433-3"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718072"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3461"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.energy.2017.11.064"},{"key":"ref36","volume-title":"Theory of Linear and Integer Programming","author":"Schrijver A.","year":"1986"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1120.0501"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09284-3_31"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349318"}],"container-title":["SIAM Journal on Optimization"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T23:07:19Z","timestamp":1711753639000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/23M156046X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,16]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3,31]]}},"alternative-id":["10.1137\/23M156046X"],"URL":"https:\/\/doi.org\/10.1137\/23m156046x","relation":{},"ISSN":["1052-6234","1095-7189"],"issn-type":[{"value":"1052-6234","type":"print"},{"value":"1095-7189","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,2,16]]}}}