Daniel Kunkle, Vlad Slavici, Gene Cooperman. Parallel disk-based computation for large, monolithic binary decision diagrams. In Marc Moreno Maza, Jean-Louis Roch, editors, Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France. pages 63-72, ACM, 2010. [doi]
Abstract is missing.