{"id":"arxiv/2601.15252","url":"https://arxiv.org/abs/2601.15252","tags":["math.OC"],"score":0,"title":"Automating Idealness Proofs for Binary Programs with Application to Rectangle Packing","domain":"math.OC","source":"arxiv","authors":["Jamie Fravel","Robert Hildebrand"],"reviews":0,"subject":"math.OC","summary":"An integer program is called ideal if its continuous relaxation coincides with its convex hull allowing the problem to be solved as a continuous program and offering substantial computational advantages. Proving idealness analytically can be extraordinarily tedious -- even for small formulations -- such proofs often span many pages of intricate case analysis which motivates the development of automated verification methods. We develop a general-purpose framework for certifying idealness in Mixed Binary Linear Programs (MBLPs), formulating the verification problem as a linear program when the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-21","reactions":{}}