@inproceedings{CTT100910075,
  author = {Zuan Jiyo and Satoshi Tayu and Atsushi Takahashi and Mathieu Molongo and Makoto Minami and Katsuya Nishioka},
  title = {A Template Routing Method Using SMT Solver for Double Via-Constrained Pair Symmetric Routing Problem},
  booktitle = {IEICE Technical Report (VLD2023-102)},
  year = 2024,
}