通过放弃不相关元组从而减少检索的方式,提出一种优化算法S TRN 3,解决了在相容性算法中重复遍历负表约束的全部元组,导致冗余检索......

广泛弧相容算法（gcneralized arc consistency,简称GAC），是求解约束满足问题的核心方法．表约束理论上可以表示所有约束关系，在过去10年......

利用笛卡尔积压缩方法可有效减小负表约束规模的原理,提出一种在压缩负表上维持广义弧相容的高效算法STRC-N,以解决负表约束维持弧......