Parallel construction algorithms for BDDs. - Jer-Sheng Chen; Prithviraj Banerjee (ISCAS (1), 1999)