@techreport{weko_72920_1, author = "斎藤,寿樹 and 川原,純 and 吉仲,亮 and 鈴木,拡 and 湊,真一", title = "ZDDを用いたパスの列挙とその性能評価", year = "2011", institution = "科学技術振興機構ERATO湊離散構造処理系プロジェクト/北海道大学大学院情報科学研究科, 科学技術振興機構ERATO湊離散構造処理系プロジェクト/北海道大学大学院情報科学研究科, 科学技術振興機構ERATO湊離散構造処理系プロジェクト/北海道大学大学院情報科学研究科, 北海道大学大学院情報科学研究科, 北海道大学大学院情報科学研究科/科学技術振興機構ERATO湊離散構造処理系プロジェクト", number = "17", month = "feb" }