Okamoto, Y.; Otachi, Y.; Uehara, R.; Uno, T. Hardness Results and an Exact Exponential Algorithm for the Spanning Tree Congestion Problem. JGAA 2011, 15, 727-751.