Wire Reconnections Based on Implication Flow Graph. - Shih-Chieh Chang; Zhong-Zhen Wu; He-Zhe Yu (ICCAD, 2000)