most citedFaster Certified Symmetry Breaking Using Orders With Auxiliary Variables

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2024

Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs

Alexander Hoen, Andy Oertel, Ambros Gleixner +1

It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations m…