A Provably Good and Practically Efficient Algorithm for Common Path Pessimism Removal in Large Designs | IEEE Conference Publication | IEEE Xplore