@techreport{weko_192599_1,
   author	 = "松永,裕介 and 吉村,正義",
   title	 = "論理暗号化に対するSAT攻撃の効率的なアルゴリズムについて",
   year 	 = "2018",
   institution	 = "九州大学大学院システム情報科学研究院, 京都産業大学情報理工学部",
   number	 = "27",
   month	 = "nov"
}