Parallel Breadth-First BDD Construction

Bwolen Yang, David R. O Hallaron. Parallel Breadth-First BDD Construction. In PPOPP. pages 145-156, 1997.

Abstract

Abstract is missing.