"Zuan Jiyo,Satoshi Tayu,Atsushi Takahashi,Mathieu Molongo,Makoto Minami,Katsuya Nishioka","A Template Routing Method Using SMT Solver for Double Via-Constrained Pair Symmetric Routing Problem","Technical Committee on VLSI Design Technologies","IEICE Technical Report (VLD2023-102)",,"Vol. 123","No. 390","pp. 18-23",2024,Feb. "Zuan Jo,Satoshi Tayu,Atsushi Takahashi,Molongo Mathieu,Makoto Minami,Katsuya Nishioka","Pair Symmetrical Routing in Common Centroid Placement with Double Via Constraints",,"Proc. DA Symposium 2023, IPSJ Symposium Series",,,,"pp. 207-212",2023,Aug. "Zuan Jo,Satoshi Tayu,Atsushi Takahashi,Molongo Mathieu,Makoto Minami,Katsuya Nishioka","Pair Symmetrical Routing in Common Centroid Placement with Common Signal Constraints","Technical Committee on VLSI Design Technologies","IEICE Technical Report (VLD2022-102)",,"Vol. 122","No. 402","pp. 155-160",2023,Mar. "Zuan Jo,Atsushi Takahashi,Yukichi Todoroki,Makoto Minami","Pair Symmetrical Routing in Common Centroid Placement",,"Proc. DA Symposium 2022, IPSJ Symposium Series",,,,"pp. 21-26",2022,Aug.