Redundant via Insertion: Removing Design Rule Conflicts and Balancing via Density. - Song Chen 001; Jianwei Shen 003; Wei Guo; Mei-Fang Chiang; Takeshi Yoshimura (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010)