Balas formulation for the union of polytopes is optimal

Michele Conforti, Marco Di Summa, Yuri Faenza

A celebrated theorem of Balas gives a linear mixed-integer formulation for the union of two nonempty polytopes whose relaxation gives the convex hull of this union. The number of i…