Ambros Gleixner

6 catalog papers. Identity-linked publications and additional name matches are distinguished below.

ORCID: 0000-0003-0391-5903

HTW Berlin - University of Applied Sciences

Publications

• MIP-DD: Delta Debugging for Mixed-Integer Programming Solvers — INFORMS Journal on Computing 2026
• Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization — INFORMS Journal on Computing 2025
• PaPILO: A Parallel Presolving Library for Integer and Linear Optimization with Multiprecision Support — INFORMS Journal on Computing 2023
• Conflict-Driven Heuristics for Mixed Integer Programming — INFORMS Journal on Computing 2021
• Iterative Refinement for Linear Programming — INFORMS Journal on Computing 2016
• Cut-Based Conflict Analysis in Mixed Integer Programming — INFORMS Journal on Computing