@techreport{weko_91778_1,
   author	 = "内澤,啓 and 王,征泓 and 森住,大樹 and 周,暁",
   title	 = "論理回路の出力パターン数え上げ",
   year 	 = "2013",
   institution	 = "山形大学大学院理工学研究科, 東北大学大学院情報科学研究科, 島根大学大学院総合理工学研究科, 東北大学大学院情報科学研究科",
   number	 = "15",
   month	 = "may"
}