MIP-DD: Delta Debugging for Mixed-Integer Programming Solvers - Alexander Hoen; Dominik Kamp; Ambros Gleixner (INFORMS Journal on Computing, 2025)