Selected inversion for vectorless power grid verification by exploiting locality | IEEE Conference Publication | IEEE Xplore