Parallel implementation of BDD Algorithms using a Distributed Shared Memory.

Yegnashankar Parasuram Edward P. Stabler Shiu-Kai Chin Parallel implementation of BDD Algorithms using a Distributed Shared Memory. 16-25 1994 HICSS (1) db/conf/hicss/hicss1994-1.html#ParasuramSC94