Efficient reformulation for 0-1 programs - methods and computational resultsB.L. DietrichL.F. Escuderoet al.1993Discrete Applied Mathematics