A branch-and-cut algorithm for the resolution of large-scale symmetric traveling salesman problems. - Padberg, Manfred; Rinaldi, Giovanni (SIAM Review, 1991)