67 citations · 72 across the 23 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
math.OC2025★ 1 cited
The SCIP Optimization Suite 10.0
Christopher Hojny, Mathieu Besançon, Ksenia Bestuzheva +31
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This…
cs.LG2025
On the Expressiveness of Rational ReLU Neural Networks With Bounded Depth
Gennadiy Averkov, Christopher Hojny, Maximilian Merkert
To confirm that the expressive power of ReLU neural networks grows with their depth, the function has been considered in the literature. A conject…
math.OC2025
State-of-the-art Methods for Pseudo-Boolean Solving with SCIP
Gioni Mexi, Dominik Kamp, Yuji Shinano +8
The Pseudo-Boolean problem deals with linear or polynomial constraints with integer coefficients over Boolean variables. The objective lies in optimizing a linear objective functio…