Mixed integer programming has become a very powerful tool for modeling and solving real-
world planning and scheduling problems, with the breadth of applications appearing to be …

The SCIP Optimization Suite is a software toolbox for generating and solving various classes
of mathematical optimization problems. Its major components are the modeling language …

Optimization solvers routinely utilize presolve techniques, including model simplification,
reformulation and domain reduction techniques. Domain reduction techniques are …

One of the key challenges towards more automation in Air Traffic Control is the resolution of
en-route conflicts. In this article we present a generic framework for the conflict resolution …

In state-of-the-art mixed-integer programming solvers, a large array of reduction techniques
are applied to simplify the problem and strengthen the model formulation before starting the …

Linear bilevel optimization problems are known to be strongly NP-hard and the
computational techniques to solve these problems are often motivated by techniques from …

We present an approach to compute bounds on the optimal value of linear programs based
on constraint propagation. Given a feasible dual solution, we apply constraint propagation to …

Earthquake magnitude distributions among faults within a fault system are determined from
regional seismicity and fault slip rates using binary integer programming. A synthetic …

Probing in mixed-integer programming (MIP) is a technique of temporarily fixing variables to
discover implications that are useful to branch-and-cut solvers. Such fixing is typically …

In the light of increasing globalization and ongoing rapid developments in information
technology, software systems for planning production and supply networks play an important …