Balas, Ceria Cornujols have proved that a slightly different, more formal procedure, converges in a finite number of iterations to an optimal solution of the MIP problem.