2 papers
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…
math.OC2024
A Customized Augmented Lagrangian Method for Block-Structured Integer Programming
Rui Wang, Chuwen Zhang, Shanwen Pu +2
Integer programming with block structures has received considerable attention recently and is widely used in many practical applications such as train timetabling and vehicle routi…