@techreport{weko_32454_1, author = "梅田,達也 and 戸川,望 and 佐藤政生 and 大附,辰夫", title = "BDDを用いたマンハッタン配線問題の解法", year = "1993", institution = "早稲田大学理工学部, 早稲田大学理工学部, 早稲田大学理工学部, 早稲田大学理工学部", number = "88(1993-AL-035)", month = "oct" }