著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 山下 魁人 and 菅原 知也 and 越村 三幸 and 横尾 真,R-MaxSAT : 敵対者が存在する MaxSAT,人工知能学会全国大会論文集,,一般社団法人 人工知能学会,2022,JSAI2022,0,4F1OS8a04-4F1OS8a04,https://cir.nii.ac.jp/crid/1390292706102507648,https://doi.org/10.11517/pjsai.jsai2022.0_4f1os8a04