2 papers
math.OC2025
BenLOC: A Benchmark for Learning to Configure MIP Optimizers
Hongpei Li, Ziyan He, Yufei Wang +4
The automatic configuration of Mixed-Integer Programming (MIP) optimizers has become increasingly critical as the large number of configurations can significantly affect solver per…
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…