On Symbolic OBDD-Based Algorithms for the Minimum Spanning Tree Problem

Beate Bollig. On Symbolic OBDD-Based Algorithms for the Minimum Spanning Tree Problem. In Weili Wu, Ovidiu Daescu, editors, Combinatorial Optimization and Applications - 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II. Volume 6509 of Lecture Notes in Computer Science, pages 16-30, Springer, 2010. [doi]

Abstract

Abstract is missing.