Okamoto, Y., Otachi, Y., Uehara, R., & Uno, T. (2011). Hardness Results and an Exact Exponential Algorithm for the Spanning Tree Congestion Problem. Journal of Graph Algorithms and Applications, 15(6), 727–751. https://doi.org/10.7155/jgaa.00246