Efficient Algorithms for Extracting the K Most Critical Paths in Timing Analysis | IEEE Conference Publication | IEEE Xplore