@techreport{weko_91764_1,
   author	 = "戸田貴久",
   title	 = "大規模ハイパーグラフからZDDの高速な構築アルゴリズム",
   year 	 = "2013",
   institution	 = "科学技術振興機構ERATO湊離散構造処理系プロジェクト",
   number	 = "1",
   month	 = "may"
}