Mar 16, 2018 An Improvement of MaxSAT Encoding for Coalition Structure Generation Using MC-nets and Its Evaluations 人工知能基本問題研究会 越村 三幸, 廖 暁鵑, 野本 一貴, 上田 俊, 櫻井 祐子, 横尾 真 Language Japanese Presentation type Link information URLhttp://ci.nii.ac.jp/naid/40021503424