A.: Implicit Enumeration of Strongly Connected Components (1999)

by A Xie, P Beerel
Venue:In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, IEEE