Improving LP-Representations of Zero-One Linear Programs for Branch and Cut. - Hoffman, Karla L.; Padberg, Manfred (ORSA Journal on Computing, 1991)