The following pages link to Ambros M. Gleixner (Q522265):
Displaying 44 items.
- Three enhancements for optimization-based bound tightening (Q522269) (← links)
- LP-based disaggregation approaches to solving the open pit mining production scheduling problem with block processing selectivity (Q958440) (← links)
- Towards globally optimal operation of water supply networks (Q1940954) (← links)
- Analyzing the computational impact of MIQCP solver components (Q1940956) (← links)
- MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library (Q2062317) (← links)
- Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search (Q2074664) (← links)
- An algorithm-independent measure of progress for linear constraint propagation (Q2112621) (← links)
- On generalized surrogate duality in mixed-integer nonlinear programming (Q2118119) (← links)
- On the relation between the extended supporting hyperplane algorithm and Kelley's cutting plane algorithm (Q2200088) (← links)
- Two-row and two-column mixed-integer presolve using hashing-based pairing methods (Q2219510) (← links)
- A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models (Q2239936) (← links)
- QPLIB: a library of quadratic programming instances (Q2281448) (← links)
- Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition (Q2288982) (← links)
- Solving quadratic programs to high precision using scaled iterative refinement (Q2293654) (← links)
- Verifying integer programming results (Q2401153) (← links)
- Undercover: a primal MINLP heuristic exploring a largest sub-MIP (Q2452383) (← links)
- (Q2802655) (← links)
- Iterative Refinement for Linear Programming (Q2830949) (← links)
- Towards an Accurate Solution of Wireless Network Design Problems (Q2835670) (← links)
- SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework (Q4637831) (← links)
- Mixed-Integer Programming for Cycle Detection in Nonreversible Markov Processes (Q4643799) (← links)
- Optimizing Large-Scale Linear Energy System Problems with Block Diagonal Structure by Using Parallel Interior-Point Methods (Q4685835) (← links)
- Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming (Q4922925) (← links)
- Conflict-Driven Heuristics for Mixed Integer Programming (Q4995097) (← links)
- On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming (Q5041755) (← links)
- Using Two-Dimensional Projections for Stronger Separation and Propagation of Bilinear Terms (Q5110560) (← links)
- Tackling Industrial-Scale Supply Chain Problems by Mixed-Integer Programming (Q5127594) (← links)
- Improving the accuracy of linear programming solvers with iterative refinement (Q5244534) (← links)
- Branching on Multi-aggregated Variables (Q5741462) (← links)
- A Safe Computational Framework for Integer Programming Applied to Chvátal’s Conjecture (Q5883707) (← links)
- A computational status update for exact rational mixed integer programming (Q5918427) (← links)
- Linear programming using limited-precision oracles (Q5918922) (← links)
- A computational status update for exact rational mixed integer programming (Q5925645) (← links)
- A computational study of perspective cuts (Q6062884) (← links)
- JuMP 1.0: recent improvements to a modeling language for mathematical optimization (Q6095739) (← links)
- P<scp>a</scp>PILO: A Parallel Presolving Library for Integer and Linear Optimization with Multiprecision Support (Q6119012) (← links)
- Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework (Q6202766) (← links)
- Branch and Cut for Partitioning a Graph into a Cycle of Clusters (Q6517593) (← links)
- Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs (Q6517784) (← links)
- The SCIP Optimization Suite 9.0 (Q6523716) (← links)
- Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver (Q6526883) (← links)
- A diving heuristic for mixed-integer problems with unbounded semi-continuous variables (Q6528200) (← links)
- The MIP workshop 2023 computational competition on reoptimization (Q6590466) (← links)
- Enabling research through the SCIP Optimization Suite 8.0 (Q6601379) (← links)
