@techreport{weko_183959_1,
   author	 = "松永,裕介",
   title	 = "SATソルバを用いた低消費電力向けテストパタン圧縮手法について",
   year 	 = "2017",
   institution	 = "九州大学大学院システム情報科学研究院",
   number	 = "18",
   month	 = "oct"
}