How many clues to give? A bilevel formulation for the minimum Sudoku clue problem
Enabling research through the SCIP optimization suite 8.0
Flexible Differentiable Optimization via Model Transformations
Improved local models and new Bell inequalities via Frank-Wolfe algorithms
The MIP Workshop 2023 Computational Competition on Reoptimization
Interrogating the effect of enzyme kinetics on metabolism using differentiable constraint-based models