Ambros M. Gleixner

Available identifiers

zbMath Open gleixner.ambros-mWikidataQ59139793 ScholiaQ59139793MaRDI QIDQ522265

List of research outcomes

Publication	Date of Publication	Type
P<scp>a</scp>PILO: A Parallel Presolving Library for Integer and Linear Optimization with Multiprecision Support	2024-03-22	Paper
Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework	2024-02-27	Paper
A computational study of perspective cuts	2023-12-02	Paper
The MIP Workshop 2023 Computational Competition on Reoptimization	2023-11-24	Paper
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization	2023-11-14	Paper
Efficient separation of RLT cuts for implicit and explicit bilinear products	2023-11-09	Paper
A proof system for certifying symmetry and optimality reasoning in integer programming	2023-11-07	Paper
Online learning for scheduling MIP heuristics	2023-10-04	Paper
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds	2023-04-24	Paper
A Safe Computational Framework for Integer Programming Applied to Chvátal’s Conjecture	2023-03-22	Paper
A computational status update for exact rational mixed integer programming	2023-03-14	Paper
Enabling Research through the SCIP Optimization Suite 8.0	2023-03-13	Paper
An algorithm-independent measure of progress for linear constraint propagation	2023-01-11	Paper
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds	2022-11-10	Paper
On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming	2022-10-14	Paper
On generalized surrogate duality in mixed-integer nonlinear programming	2022-03-22	Paper
Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search	2022-02-10	Paper
MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library	2021-12-27	Paper
A computational status update for exact rational mixed integer programming	2021-12-21	Paper
The SCIP Optimization Suite 8.0	2021-12-16	Paper
A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models	2021-11-05	Paper
Conflict-Driven Heuristics for Mixed Integer Programming	2021-06-23	Paper
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation	2021-06-14	Paper
Two-row and two-column mixed-integer presolve using hashing-based pairing methods	2021-01-20	Paper
Tackling Industrial-Scale Supply Chain Problems by Mixed-Integer Programming	2020-10-27	Paper
On the relation between the extended supporting hyperplane algorithm and Kelley's cutting plane algorithm	2020-09-15	Paper
Linear programming using limited-precision oracles	2020-08-28	Paper
Using Two-Dimensional Projections for Stronger Separation and Propagation of Bilinear Terms	2020-05-20	Paper
Linear programming using limited-precision oracles	2020-02-06	Paper
Solving quadratic programs to high precision using scaled iterative refinement	2020-02-05	Paper
Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition	2020-01-20	Paper
QPLIB: a library of quadratic programming instances	2019-12-19	Paper
Optimizing Large-Scale Linear Energy System Problems with Block Diagonal Structure by Using Parallel Interior-Point Methods	2018-10-09	Paper
A Safe Computational Framework for Integer Programming applied to Chv\'atal's Conjecture	2018-09-05	Paper
Mixed-Integer Programming for Cycle Detection in Nonreversible Markov Processes	2018-05-29	Paper
SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework	2018-05-03	Paper
Verifying integer programming results	2017-08-31	Paper
Three enhancements for optimization-based bound tightening	2017-04-28	Paper
Exact Methods for Recursive Circle Packing	2017-02-24	Paper
Towards an Accurate Solution of Wireless Network Design Problems	2016-11-30	Paper
Iterative Refinement for Linear Programming	2016-11-01	Paper
Branching on Multi-aggregated Variables	2016-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2802655	2016-04-26	Paper
Improving the accuracy of linear programming solvers with iterative refinement	2015-03-27	Paper
Undercover: a primal MINLP heuristic exploring a largest sub-MIP	2014-06-02	Paper
Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming	2013-06-04	Paper
Towards globally optimal operation of water supply networks	2013-03-11	Paper
Analyzing the computational impact of MIQCP solver components	2013-03-11	Paper
LP-based disaggregation approaches to solving the open pit mining production scheduling problem with block processing selectivity	2008-12-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ambros M. Gleixner