@techreport{weko_212819_1,
   author	 = "菅原,知也 and 越村,三幸 and 横尾,真",
   title	 = "ADSAT：敵対者が存在するMaxSAT",
   year 	 = "2021",
   institution	 = "九州大学大学院システム情報科学府, 九州大学大学院システム情報科学府, 九州大学大学院システム情報科学府",
   number	 = "13",
   month	 = "sep"
}