Our paper "The Dantzig-Fulkerson-Johnson TSP formulation is easy to solve for few subtour constraints" with @austinlbuchanan.bsky.social is accepted at INFORMS Journal on Optimization!
TL;DR:
-Constant # SECs → polynomial time
-Minimum # SECs needed to prove optimality can be computed
Preprint👇