表约束论文

一种基于时间戳的简单表缩减算法
论文摘要表约束是一种外延的知识表示方法,每个约束在对应的变量集上列举出所有支持或禁止的元组.广义弧相容(generalizedarcconsistency,简称GAC)是求解约...