2017年5月23日 分割関数ゲームを対象とした提携構造形成問題のMaxSAT符号化 2017年度 人工知能学会全国大会(第31回) 越村 三幸, 査 澳龍, 野本 一貴, 櫻井 祐子, 横尾 真 記述言語 日本語 会議種別 口頭発表(一般)