Temporal Graph Traversals: Definitions, Algorithms, and Applications
A memory efficient reachability data structure through bit vector compression