Redundant via insertion based on conflict removal | IEEE Conference Publication | IEEE Xplore