Login / Signup

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

Beate Bollig
Published in: Theor. Comput. Sci. (2012)
Keyphrases