scip

Branch-And-Bound Models and Strong Branching

An informal recap of our recent paper.

Last updated on 2024-02-01 7 min read

SCIP plugins and the cut selection interface

This is a short post on the cut selection mechanism in the mixed-integer optimization solver SCIP and things I used for its implementation in the SCIP.jl Julia wrapper. You can check out the corresponding pull request for completeness.

Last updated on 2022-10-04 7 min read

Pruning the expression tree with recursive value identification

Today was the release of SCIP.jl v0.11, the first release switching to SCIP 8. The major change in this (massive) release was the rewrite of the nonlinear optimization part, using a so-called expression framework.

Last updated on 2022-10-04 4 min read