Okamoto Y, Otachi Y, Uehara R, Uno T. Hardness Results and an Exact Exponential Algorithm for the Spanning Tree Congestion Problem. JGAA [Internet]. 2011 Oct. 1 [cited 2024 Jun. 30];15(6):727-51. Available from: https://jgaa.info/index.php/jgaa/article/view/paper246