Dual Labeling: Answering Graph Reachability Queries in Constant Time | IEEE Conference Publication | IEEE Xplore