Efficient Reformulation for 0-1 Programs - Methods and Computational Results. - Brenda L. Dietrich; Laureano F. Escudero; F. Chance (Discret. Appl. Math., 1993)