Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints
Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints
复制标题
伪布尔约束的混合基数权重累加器编码
DOI:
--
复制
发表时间:
2017
期刊:
影响因子:
--
通讯作者:
and Hiroshi Fujita
中科院分区:
文献类型:
--
作者:
Aolong Zha;Naoki Uemura;Miyuki Koshimura;and Hiroshi Fujita