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

Raffaella Gentilini, Carla Piazza, Alberto Policriti

Browse the full SODA paper archive.