@techreport{weko_27118_1,
   author	 = "書田,浩章 and 二瀧田,誠 and 浅田,邦博",
   title	 = "限量子付ブール式の充足可能性判定を用いた論理式の最小因数分解手法",
   year 	 = "2005",
   institution	 = "東京大学大学院工学系研究科電子工学専攻, 東京大学大規模集積システム設計教育研究センター（VDEC）, 東京大学大規模集積システム設計教育研究センター（VDEC）",
   number	 = "121(2005-SLDM-122)",
   month	 = "nov"
}