Inproceedings,

Computing strongly connected components in a linear number of symbolic steps.

, , and .
SODA, page 573-582. ACM/SIAM, (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews