An Algorithm for Strongly Connected Component Analysis in

Roderick Bloem, Harold N. Gabow, Fabio Somenzi

Browse the full FMCAD paper archive.