简单表缩减相关论文
维持表约束网络广义弧相容（generalized arc consistency,简称GAC）的串行传播模式是约束程序搜索技术研究的一个重要分支,该模式由串......
约束编程(CP)是用于建模和求解组合约束问题的通用且灵活的框架。表约束(也称为扩展约束)明确表示它们所涉及的变量的值的允许组合......
约束规划是人工智能领域的重要分支,在产品配置、任务调度、组合优化等问题上有广泛的应用。约束规划为实际问题提供了一种简单有......
表约束是一种外延的知识表示方法,每个约束包含一组变量上所有支持或禁止的元组。广义弧相容(GAC)是求解多元约束满足问题应用最广......
广泛弧相容算法（gcneralized arc consistency,简称GAC），是求解约束满足问题的核心方法．表约束理论上可以表示所有约束关系，在过去10年......
表约束是一种外延的知识表示方法,每个约束在对应的变量集上列举出所有支持或禁止的元组.广义弧相容(generalized arc consistency......
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction, STR)算法来降低约束......
