MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良と評価
MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良と評価
复制标题
使用 MC-nets 解决联盟结构形成问题的 MaxSAT 编码的改进和评估
DOI:
--
复制
发表时间:
2018
期刊:
影响因子:
--
通讯作者:
櫻井 祐子,横尾 真
中科院分区:
文献类型:
--
作者:
越村 三幸,廖 暁鵑,野本 一貴,上田 俊;櫻井 祐子,横尾 真