Parallel construction algorithms for BDDs.

Jer-Sheng Chen, Prithviraj Banerjee

Browse the full ISCAS paper archive.