Sang-il Oum, Paul D. Seymour. Certifying large branch-width. In Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2006, Miami, Florida, USA, January 22-26, 2006. pages 810-813, ACM Press, 2006. [doi]
Abstract is missing.