Shinji Mizuno Romesh Saigal James B. Orlin Determination of optimal vertices from feasible solutions in unimodular linear programming. 23-31 1993 59 Math. Program. db/journals/mp/mp59.html#MizunoSO93