"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.