Computing strongly connected components in a linear number of symbolic steps

Raffaella Gentilini, Carla Piazza, Alberto Policriti. Computing strongly connected components in a linear number of symbolic steps. In SODA. pages 573-582, 2003. [doi]

Abstract

Abstract is missing.