@techreport{weko_184243_1,
   author	 = "小西,達也 and 小島,英春 and 中川,博之 and 土屋,達弘",
   title	 = "SATソルバを使用したロケーティングアレイの生成手法について",
   year 	 = "2017",
   institution	 = "大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科",
   number	 = "28",
   month	 = "nov"
}