Parallel breadth-first BDD construction

Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '97 ◽

10.1145/263764.263784 ◽

1997 ◽

Author(s):

Bwolen Yang ◽

David R. O'Hallaron

Download Full-text