Binary extended formulations and sequential convexification

Manuel Aprile, Michele Conforti, Marco Di Summa

A binarization of a bounded variable $x$ is a linear formulation with variables $x$ and additional binary variables $y_1,\dots ,y_k$, so that integrality of $x$ is implied by the i…