...
机译:An Efficient Algorithm Finding Simple Disjoint Decompositions Using BDDs
Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University, Kasuga-shi, 816-8580 Japan;