@techreport{weko_33918_1,
   author	 = "中村,一博 and 成瀬,智啓 and 高木,一義 and 高木,直史",
   title	 = "論理回路のSATベース形式的検証の高速化のためのBDDを用いたCNF式生成手法",
   year 	 = "2007",
   institution	 = "名古屋大学大学院情報科学研究科, 名古屋大学工学部, 名古屋大学大学院情報科学研究科, 名古屋大学工学部",
   number	 = "27(2007-EMB-004)",
   month	 = "mar"
}