@techreport{weko_95728_1,
   author	 = "戸田貴久",
   title	 = "論理関数のCNFからBDDの効率的な構築法",
   year 	 = "2013",
   institution	 = "科学技術振興機構ERATO湊離散構造処理系プロジェクト",
   number	 = "3",
   month	 = "oct"
}