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