{"id":"https://openalex.org/W4391881660","doi":"https://doi.org/10.1137/23m156046x","title":"Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework","display_name":"Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework","publication_year":2024,"publication_date":"2024-02-16","ids":{"openalex":"https://openalex.org/W4391881660","doi":"https://doi.org/10.1137/23m156046x"},"language":"en","primary_location":{"id":"doi:10.1137/23m156046x","is_oa":false,"landing_page_url":"https://doi.org/10.1137/23m156046x","pdf_url":null,"source":{"id":"https://openalex.org/S928796702","display_name":"SIAM Journal on Optimization","issn_l":"1052-6234","issn":["1052-6234","1095-7189"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Optimization","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016339744","display_name":"Leon Eifler","orcid":"https://orcid.org/0000-0003-0245-9344"},"institutions":[{"id":"https://openalex.org/I195893171","display_name":"Zuse Institute Berlin","ror":"https://ror.org/02eva5865","country_code":"DE","type":"facility","lineage":["https://openalex.org/I195893171"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Leon Eifler","raw_affiliation_strings":["Zuse Institute Berlin, 14195 Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0245-9344","affiliations":[{"raw_affiliation_string":"Zuse Institute Berlin, 14195 Berlin, Germany","institution_ids":["https://openalex.org/I195893171"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009130251","display_name":"Ambros Gleixner","orcid":"https://orcid.org/0000-0003-0391-5903"},"institutions":[{"id":"https://openalex.org/I195893171","display_name":"Zuse Institute Berlin","ror":"https://ror.org/02eva5865","country_code":"DE","type":"facility","lineage":["https://openalex.org/I195893171"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ambros Gleixner","raw_affiliation_strings":["Zuse Institute Berlin, 14195 Berlin, Germany, and HTW Berlin, 10318 Berlin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zuse Institute Berlin, 14195 Berlin, Germany, and HTW Berlin, 10318 Berlin, Germany","institution_ids":["https://openalex.org/I195893171"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5016339744"],"corresponding_institution_ids":["https://openalex.org/I195893171"],"apc_list":null,"apc_paid":null,"fwci":1.7285,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.84815908,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":"34","issue":"1","first_page":"742","last_page":"763"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9800000190734863,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.8209736347198486},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7775669097900391},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.7523021697998047},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.509515106678009},{"id":"https://openalex.org/keywords/cutting-plane-method","display_name":"Cutting-plane method","score":0.49271705746650696},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.35502249002456665},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34386852383613586},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.10925963521003723}],"concepts":[{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.8209736347198486},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7775669097900391},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.7523021697998047},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.509515106678009},{"id":"https://openalex.org/C109839438","wikidata":"https://www.wikidata.org/wiki/Q1762039","display_name":"Cutting-plane method","level":3,"score":0.49271705746650696},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.35502249002456665},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34386852383613586},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10925963521003723},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/23m156046x","is_oa":false,"landing_page_url":"https://doi.org/10.1137/23m156046x","pdf_url":null,"source":{"id":"https://openalex.org/S928796702","display_name":"SIAM Journal on Optimization","issn_l":"1052-6234","issn":["1052-6234","1095-7189"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Optimization","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4192406653","display_name":null,"funder_award_id":"05M20ZBM","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G8921868790","display_name":null,"funder_award_id":"05M14ZAM","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"}],"funders":[{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W83093243","https://openalex.org/W134339645","https://openalex.org/W1533404702","https://openalex.org/W1978915576","https://openalex.org/W1980089246","https://openalex.org/W1988882144","https://openalex.org/W2018660239","https://openalex.org/W2022398556","https://openalex.org/W2045052635","https://openalex.org/W2058772914","https://openalex.org/W2079258636","https://openalex.org/W2109933087","https://openalex.org/W2133520239","https://openalex.org/W2148159997","https://openalex.org/W2549584611","https://openalex.org/W2558711366","https://openalex.org/W2768371967","https://openalex.org/W2785044350","https://openalex.org/W2835394801","https://openalex.org/W2900840427","https://openalex.org/W2908417348","https://openalex.org/W2942710513","https://openalex.org/W3011671470","https://openalex.org/W3037206882","https://openalex.org/W3085454911","https://openalex.org/W3122393325","https://openalex.org/W3162222544","https://openalex.org/W3211222374","https://openalex.org/W4300568640","https://openalex.org/W4301808069"],"related_works":["https://openalex.org/W2048233275","https://openalex.org/W2110818895","https://openalex.org/W2045076853","https://openalex.org/W1973064890","https://openalex.org/W2002159391","https://openalex.org/W2065369945","https://openalex.org/W3126345618","https://openalex.org/W2038141985","https://openalex.org/W1991394924","https://openalex.org/W3006617646"],"abstract_inverted_index":{".This":[0],"paper":[1],"is":[2,34,42,133],"concerned":[3],"with":[4],"the":[5,13,82,143,147,162,169,177,202],"exact":[6,70,181,193],"solution":[7],"of":[8,146,172,179,213],"mixed-integer":[9,115],"programs":[10],"(MIPs)":[11],"over":[12],"rational":[14],"numbers,":[15],"i.e.,":[16],"without":[17],"any":[18],"roundoff":[19],"errors":[20],"and":[21,67,90,151,195],"error":[22],"tolerances.":[23],"Here,":[24],"one":[25],"computational":[26],"bottleneck":[27],"that":[28,132,185],"should":[29],"be":[30,158],"avoided":[31],"whenever":[32],"possible":[33,44],"to":[35,45,52,63,117,129,161,192],"employ":[36],"large-scale":[37],"symbolic":[38],"computations.":[39],"Instead":[40],"it":[41],"often":[43],"use":[46],"safe":[47,77],"directed":[48],"rounding":[49,116],"methods,":[50],"e.g.,":[51],"generate":[53,118],"provably":[54,119],"correct":[55],"dual":[56,107],"bounds.":[57],"In":[58],"this":[59,65,127],"work,":[60],"we":[61,167,186],"continue":[62],"leverage":[64],"paradigm":[66],"extend":[68],"an":[69,110,180],"branch-and-bound":[71],"framework":[72],"by":[73,86,114,199],"separation":[74],"routines":[75,140],"for":[76,141],"cutting":[78,149,155,174],"planes,":[79,150],"based":[80],"on":[81,201],"approach":[83,128],"first":[84],"introduced":[85],"Cook,":[87],"Dash,":[88],"Fukasawa,":[89],"Goycoolea":[91],"in":[92,136,176],"2009":[93],"[INFORMS":[94],"J.":[95],"Comput.,":[96],"21":[97],"(2009),":[98],"pp.":[99],"641\u2013649].":[100],"Constraints":[101],"are":[102],"aggregated":[103],"safely":[104],"using":[105],"approximate":[106],"multipliers":[108],"from":[109],"LP":[111],"solve,":[112],"followed":[113],"valid,":[120],"although":[121],"slightly":[122],"weaker":[123],"inequalities.":[124],"We":[125],"generalize":[126],"problem":[130],"data":[131],"not":[134],"representable":[135],"floating-point":[137],"arithmetic,":[138],"add":[139],"controlling":[142],"encoding":[144],"length":[145],"resulting":[148],"show":[152],"how":[153],"these":[154,173],"planes":[156,175],"can":[157,187],"verified":[159],"according":[160],"VIPR":[163],"certificate":[164],"standard.":[165],"Furthermore,":[166],"analyze":[168],"performance":[170],"impact":[171],"context":[178],"MIP":[182],"framework,":[183],"showing":[184],"solve":[188],"21.5%":[189],"more":[190],"instances":[191],"optimality":[194],"reduce":[196],"solving":[197],"times":[198],"26.8%":[200],"MIPLIB":[203],"2017":[204],"benchmark":[205],"test":[206],"set.Keywordsmixed-integer":[207],"programmingcutting":[208],"planesrational":[209],"arithmeticexact":[210],"computationsymbolic":[211],"computationscertificate":[212],"correctnessMSC":[214],"codes65K0590C1190-08":[215]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}