A BDD-based fast heuristic algorithm for disjoint decomposition.

Tomas Bengtsson, Andrs Martinelli, Elena Dubrova

Browse the full ASPDAC paper archive.