On symbolic OBDD-based algorithms for the minimum spanning tree problem

Beate Bollig. On symbolic OBDD-based algorithms for the minimum spanning tree problem. Theoretical Computer Science, 447:2-12, 2012. [doi]

Abstract

Abstract is missing.