Zhiqiang Zhao, Zhuo Feng. A Spectral Graph Sparsification Approach to Scalable Vectorless Power Grid Integrity Verification. In Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017. ACM, 2017. [doi]
Abstract is missing.