Analyzing the numerical c
Analyzing the numerical correctness of branch-and-bound decisions for mixed-integer programming
Analyzing the numerical correctness of branch-and-bound decisions for mixed-integer programming
arXiv:2412.14710v2 Announce Type: replace
Abstract: Most state-of-the-art branch-and-bound solvers for mixed-integer linear programming rely on limited-precision floating-point arithmetic and use numerical tolerances when reasoning about feasibility and optimality during their search. While the pra…
