Límites de proximidad y planitud para la optimización lineal de enteros