activity
20212025
most citedEnabling Research through the SCIP Optimization Suite 8.0

67 citations · 89 across the 11 of their papers we have counts for

collaborators
Showing 2023Show all

6 papers · 1 filter

math.OC2023★ 4 cited

PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs

Mark Turner, Antonia Chmiela, Thorsten Koch +1

A standard tool for modelling real-world optimisation problems is mixed-integer programming (MIP). However, for many of these problems, information about the relationships between…

math.OC2023

A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programming

Mark Turner, Timo Berthold, Mathieu Besançon

The current cut selection algorithm used in mixed-integer programming solvers has remained largely unchanged since its creation. In this paper, we propose a set of new cut scoring…

math.OC2023

Branching via Cutting Plane Selection: Improving Hybrid Branching

Mark Turner, Timo Berthold, Mathieu Besançon +1

Cutting planes and branching are two of the most important algorithms for solving mixed-integer linear programs. For both algorithms, disjunctions play an important role, being use…

math.OC2023

How Many Clues To Give? A Bilevel Formulation For The Minimum Sudoku Clue Problem

Gennesaret Tjusila, Mathieu Besançon, Mark Turner +1

It has been shown that any 9 by 9 Sudoku puzzle must contain at least 17 clues to have a unique solution. This paper investigates the more specific question: given a particular com…

math.OC2023★ 67 cited

Enabling Research through the SCIP Optimization Suite 8.0

Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen +32

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of…

math.OC2023

Cutting Plane Selection with Analytic Centers and Multiregression

Mark Turner, Timo Berthold, Mathieu Besançon +1

Cutting planes are a crucial component of state-of-the-art mixed-integer programming solvers, with the choice of which subset of cuts to add being vital for solver performance. We…