Parallel implementation of BDD Algorithms using a Distributed Shared Memory. - Yegnashankar Parasuram; Edward P. Stabler; Shiu-Kai Chin (HICSS (1), 1994)