research
∙
06/24/2022
The role of rationality in integer-programming relaxations
For a finite set X ⊂ℤ^d that can be represented as X = Q ∩ℤ^d for some p...
share
research
∙
06/01/2021
Binary extended formulations and sequential convexification
A binarization of a bounded variable x is a linear formulation with vari...
research
∙
05/31/2021
Towards Lower Bounds on the Depth of ReLU Neural Networks
We contribute to a better understanding of the class of functions that i...
research
∙
11/11/2020
Complexity of branch-and-bound and cutting planes in mixed-integer optimization – II
We study the complexity of cutting planes and branching schemes from a t...
research
∙
03/10/2020