Exact Decomposition Branching exploiting Lattice Structures

Katrin Halbig, Timm Oertel, Dieter Weninger

Strict inequalities in mixed-integer linear optimization can cause difficulties in guaranteeing convergence and exactness. Utilizing that optimal vertex solutions follow a lattice…