A new formulation and branch-and-cut method for single-allocation hub location problems. (July 2023)