Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter.

Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer

Browse the full SODA paper archive.