Dynamic Graph Summarization: Optimal and Scalable | IEEE Conference Publication | IEEE Xplore