Some integer programs arising in the design of main frame computers. - Carlos E. Ferreira; Martin Grötschel; Alexander Martin 001; Robert Weismantel; Stefan Kiefl; Ludwig Krispenz (ZOR Methods Model. Oper. Res., 1993)