STR2型 swMATH ID: 14873 软件作者： 克里斯托夫·勒库特 描述： STR2：针对表约束的优化简单表约简。表约束在约束编程中起着重要作用。最近，人们提出了许多方案或算法来传播表约束和/或压缩其表示。本文描述了一种简单表约简（STR）优化方法，该方法由J.Ullmann提出，用于在执行/维护广义弧一致性（GAC）时动态维护支撑表。STR2是我们提出的新的改进GAC算法，它允许我们限制与有效性检查和支持搜索相关的操作数量。有趣的是，这种优化使得简单的表格简化速度可能提高r倍，其中r是约束的arity。我们对随机和结构化实例进行的大量实验结果表明，STR2的速度通常是原始STR的两倍左右，是基于隐藏变量编码的方法的两到三倍，在一些系列实例上，它比以前最先进的（通用）GAC算法快一个数量级。当比较STR2和最近开发的基于多值决策图（MDD）的算法时，我们发现这两种方法是相当互补的。 主页： http://link.springer.com/article/10.1007/s10601-011-9107-6 相关软件： 迷你锌;糠;混凝土;github;斯卡拉;最大RPWC+;INGRES公司;OR-醇;迷你们;间隙 引用于： 10文件 全部的 前5名22位作者引用 4 克利斯朵夫·勒库特 2 Likitvivatanavong，查瓦利特 2 罗兰·H·C·雅普。 1 卡马尔·阿姆隆 1 克里斯蒂安·贝西尔 1 Carlsson，马茨 1 伊夫·迪维尔 1 赫莱内·法吉尔 1 伊恩·菲利普·根特 1 哈巴斯，吉乃布 1 克里斯托弗·杰斐逊 1 杰弗里·拉尔森 1 斯蒂芬·林顿（Stephen A.Linton）。 1 Jean-Baptiste梅里 1 伊恩·米格尔 1 Peter W.南丁格尔。 1 阿纳斯塔西亚·帕帕里佐 1 Sylvain Piechowiak 1 歌手Daniel Jeremy 1 科斯塔斯·斯特乔 1 帕斯卡·范·亨特利克 1 朱利安·维昂 4篇连载文章中引用 5 制约因素 三 人工智能 1 欧洲运筹学杂志 1 RAIRO公司。运筹学 在2个字段中引用 6 计算机科学（68至XX） 4 运筹学、数学规划（90-XX） 按年份列出的引文