Ambros M. Gleixner
8 publications
3 venues
H Index 4
Affiliation
HTW Berlin, GermanyZuse Institute Berlin, Germany
Links
| Name | Venue | Year | citations |
|---|---|---|---|
Analyzing the Numerical Correctness of Branch-and-Bound Decisions for Mixed-Integer Programming.
|
CPAIOR | 2025 | 0 |
| Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs.
|
CPAIOR | 2024 | 6 |
| Online Learning for Scheduling MIP Heuristics.
|
CPAIOR | 2023 | 12 |
| Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning.
|
CP | 2023 | 5 |
| An Algorithm-Independent Measure of Progress for Linear Constraint Propagation.
|
CP | 2021 | 1 |
| Learning to Schedule Heuristics in Branch and Bound.
|
NIPS/NeurIPS | 2021 | 0 |
| Branching on Multi-aggregated Variables.
|
CPAIOR | 2015 | 1 |
| Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming.
|
CPAIOR | 2013 | 9 |