| Publication | Date of Publication | Type |
|---|
| Enabling research through the SCIP Optimization Suite 8.0 | 2024-09-10 | Paper |
| The MIP workshop 2023 computational competition on reoptimization | 2024-08-21 | Paper |
| 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 |
| Branch and Cut for Partitioning a Graph into a Cycle of Clusters | N/A | Paper |
| Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs | N/A | Paper |
| The SCIP Optimization Suite 9.0 | N/A | Paper |
| Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver | N/A | Paper |
| A diving heuristic for mixed-integer problems with unbounded semi-continuous variables | N/A | Paper |
