Time-space tradeoffs for undirected graph traversal | IEEE Conference Publication | IEEE Xplore