SOLVING LARGE-SCALE SYMMETRIC TRAVELLING SALESMAN PROBLEMS TO OPTIMALITY. - Crowder, Harlan; Padberg, Manfred W. (Management Science (INFORMS), 1980)