@techreport{weko_91786_1, author = "青木,洋士 and 湊,真一 and 山下,茂", title = "写像枝を用いた系列二分決定グラフの効率化", year = "2013", institution = "北海道大学情報科学研究科, 北海道大学情報科学研究科/JST ERATO湊離散構造処理系プロジェクト, 立命館大学情報理工学研究科", number = "23", month = "may" }