Implicit enumeration of strongly connected components.

Aiguo Xie, Peter A. Beerel

Browse the full ICCAD paper archive.