Okamoto, Yoshio, et al. “Hardness Results and an Exact Exponential Algorithm for the Spanning Tree Congestion Problem”. Journal of Graph Algorithms and Applications, vol. 15, no. 6, Oct. 2011, pp. 727-51, doi:10.7155/jgaa.00246.