@techreport{weko_195525_1, author = "中畑,裕 and 川原,純 and 堀山,貴史 and 湊,真一", title = "ZDDを用いたグラフ細分構造の列挙索引化", year = "2019", institution = "京都大学, 京都大学, 埼玉大学, 京都大学", number = "8", month = "may" }