Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain

Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain
复制标题

区间变量域上等价约束等价变换的正确性证明

DOI:
--
复制
发表时间:
2005
期刊:
Proc.of the 2005 International Conference on Artificial Intelligence (ICAI'05) Vol.II
影响因子:
--
通讯作者:
Hiroshi Mabuchi
Hiroshi Mabuchi
中科院分区:
--
文献类型:
--
作者:
内田誠;白山晋;Hiroshi Mabuchi

文献摘要

相似文献