Parallel Breadth-First BDD Construction.

Bwolen Yang, David R. O'Hallaron

Browse the full PPoPP paper archive.