代数决策图(ADD)相关论文
加权约束满足问题(WCSP)是一类软约束满足问题.给出WCSP的代数决策图(ADD)描述,以及基于ADD的两种符号求解算法.首先,通过对变量和......
约束满足问题(CSP)是人工智能领域中一个重要的研究课题,孤一致性(AC)技术是提高约束满足问题求解效率的一种有效技术。对传统弧一致性......
Hachtel G.D.和Somenzi F.提出的0-1网络最大流问题的符号有序二叉决策图(OBDD)算法在一定程度上缓减了"状态爆炸"问题,但算法仅局......
加权约束满足问题(WCSP)是一类约束最优化问题.文中基于RDS思想,从减少RDS分解的子问题个数及提高各个子问题的求解效率人手,提出WCSP的......