1 citations · 3 across the 9 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.OC2024
Relaxations for binary polynomial optimization via signed certificates
Liding Xu, Leo Liberti
We consider the problem of minimizing a polynomial over the (binary) hypercube. We show that, for a specific set of polynomials, their binary non-negativity (i.e. on the hyperc…
math.OC2024
Formulations of the continuous set-covering problem on networks: a comparative study
Liding Xu, Claudia D'Ambrosio
We study the continuous set covering problem on networks and propose several new MILP formulations and valid inequalities. In contrast to state-of-the-art formulations, the new for…
math.OC2024
The SCIP Optimization Suite 9.0
Suresh Bolusani, Mathieu Besançon, Ksenia Bestuzheva +28
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This…