Modulo計算に基づく重み付MaxSAT問題の基数制約符号化手法の改良
Modulo計算に基づく重み付MaxSAT問題の基数制約符号化手法の改良
复制标题
基于Modulo计算的加权MaxSAT问题基数约束编码方法的改进
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
有村寿高，長谷川隆三，藤田博，越村三幸，ZHA AOLONG，上村直輝
中科院分区：
文献类型：
--
作者：
日下部茂;荒木啓二郎;有村寿高，長谷川隆三，藤田博，越村三幸，ZHA AOLONG，上村直輝
