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