立方厘米（FD） swMATH ID: 21237 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 描述： 约束语言cc（FD）的设计、实现和评估。本文描述了约束逻辑语言cc（FD）的设计、实现和应用。cc（FD）是一种基于cc框架[33]的有限域上的声明性非确定性约束逻辑语言，cc框架是约束逻辑编程（CLP）方案的扩展[21]。其约束求解器包括自然数上的（非线性）算术约束，这些约束是使用域和区间一致性近似的。cc（FD）的主要新颖之处在于包含了许多通用组合子，特别是基数、构造析取和分块蕴涵，以及新的约束操作，如约束蕴涵和泛化。这些组合词显著提高了CLP语言的操作表达性、可扩展性和灵活性，并允许在语言级别解决非本原约束和析取的定义等问题。cc（FD）（约40000行C）的实现包括基于WAM的引擎[44]、基于AC-5的最佳电弧一致性算法[40]，以及组合器的增量实现。报告了许多问题的结果，包括调度、资源分配、排序、打包和哈密顿路径，表明cc（FD）在许多组合问题上接近于过程语言。此外，一个小型cc（FD）程序能够找到一个著名的10/10析取调度问题的最优解并证明其最优性[29]，该问题开放了20多年，最终于1986年得到解决 主页： http://www.sciencedirect.com/science/article/pii/S0743106698100067 关键词： 约束逻辑语言；立方厘米（FD） 相关软件： CPLEX公司；彗星；乔科；Gecode公司；爪牙；欧兹；SICStus公司；ILOG时间表；OR-醇；糠；数字；炸薯条；超小卫星；SCIP公司；SCIL公司；MIPLIB公司；SIMPL公司；微型CP；米斯特拉尔；奥斯卡 引用于： 18文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 约束语言（cc（FD））的设计、实现和评估。 兹伯利0920.68026帕斯卡·范·亨特利克；维杰·萨拉斯瓦特；伊夫·迪维尔 1998 全部的 前5名43位作者引用 4 帕斯卡·范·亨特利克 2 克里斯蒂安·贝西尔 2 伊夫·迪维尔 2 赫尼奇，卜拉欣 2 劳伦特·米歇尔 2 托比·沃尔什 1 阿雷斯基·奈特，阿卜杜拉 1 尼古拉斯·贝尔迪塞努 1 迈克尔·科迪什 1 阿戈斯蒂诺·科尔特斯 1 吕克·德·雷德 1 罗穆拉德·德布鲁恩 1 拉斐尔·德尔瓦多·维塞达 1 艾伦·M·弗里希。 1 安布罗斯·格雷克斯纳（Ambros M.Gleixner）。 1 枪，蒂亚斯 1 朱利安·古铁雷斯 1 埃曼纽尔·希伯拉德 1 铃木卡内科 1 克孜尔坦、泽内普 1 洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 1 Jean-Baptiste梅里 1 伊恩·米格尔 1 齐格弗里德·尼克森 1 奥尔加·奥里蒙科 1 佩雷斯（Jorge A.Pérez）。 1 蒂埃里·佩蒂特 1 塞巴斯蒂安·波库塔 1 雷金、珍妮·查尔斯 1 纪尧姆·罗查特 1 马里奥·罗德里格斯-阿塔莱霍 1 卡米洛·鲁埃达 1 米歇尔·鲁赫 1 Vijay A.萨拉斯瓦特。 1 皮埃尔·绍斯 1 克里斯蒂安·舒尔特 1 索夫拉纳克，波罗 1 彼得·詹姆斯·斯塔基 1 塔克，吉多 1 弗兰克·巴伦西亚。 1 范·埃姆登（Maarten H.van Emden）。 1 马蒂奥·扎尼奥利 1 周能发 全部的 前5名引用于7个系列 6 约束条件 4 人工智能 2 RAIRO公司。运筹学 1 逻辑程序设计杂志 1 高阶和符号计算 1 计算机语言、系统和结构 1 数学规划计算 在5个字段中引用 13 计算机科学（68至XX） 5 运筹学、数学规划（90-XX） 1 组合数学（05-XX） 1 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文