Optimizing over the subtour polytope of the travelling salesman problem