Back to modeling: The (symmetric, metric) traveling salesperson problem (TSP) in the natural IP formulation. Subtour elimination constraints. Modeling with exponentially many constraints. Constraint generation.  notes-2020-11-18.pdf [Compare with Vanderbei section 23.2, which introduces a different formulation for the TSP with fewer constraints but more variables.]