An efficient algorithm finding simple disjoint decompositions using BDDs

研究成果: ジャーナルへの寄稿 › 学術誌 › 査読