Parallel Disk-Based Computation for Large, Monolithic Binary Decision Diagrams Daniel Kunkle∗ Vlad Slavici

First Page		Document Content
Date: 2010-07-26 07:30:31 Computing Diagrams Boolean algebra Mathematics Computer programming Binary decision diagram Model checking External sorting Computer cluster Depth-first search		Parallel Disk-Based Computation for Large, Monolithic Binary Decision Diagrams Daniel Kunkle∗ Vlad Slavici Add to Reading List Source URL: www.ccs.neu.edu Download Document from Source Website File Size: 226,78 KB Share Document on Facebook