CPGraph(CPGraph) swMATH ID: 8697 软件作者: Deville,Y.、Dooms,G.、Zampelli,S.、Dupont,P。 描述: CP(Graph)-约束编程的图形变量。CP(Graph)[1]在约束编程中定义了一个新的计算域:图域变量和这些变量上的约束。图形变量和约束的参考实现作为通用约束开发环境Gecode的贡献包发布。本版本的目的是为约束社区带来一个开放和可重用的框架,适用于图属性约束和基于图的约束模型的设计和实现。当前版本的软件是走向完整图形变量框架的第一步。它应该被视为beta软件。图形变量目前使用Gecode的“视图”概念通过设置变量实现。一个视图将图形实现为一组节点和一组弧,另一个视图使用一组节点以及N组相邻节点。还提供了一些约束。当前约束是互补(G1,G2)、路径(G,n1,n2)和路径(G,n1,n2,I,w)(见下文)。在另一篇文章中还提供了使用图变量和映射变量的单态约束(见下文)。 主页: http://cpgraph.info.ucl.ac.be/ 依赖项: Gecode公司 相关软件: 红衣主教;Gecode公司;伊莎贝尔/HOL;Coq公司;数学检查;山猫;夏普SAT;CVC4型;验证;z3(零3);SageMath公司;LKH公司;TSPTW公司;TSPLIB公司;CDK公司;对象管理组织;迷你们;乔科;Why3号机组;南美林猫 引用于: 16文件 全部的 前5名34位作者引用 三 尼古拉斯·贝尔迪塞努 三 伊夫·迪维尔 2 Czarnecki、Krzysztof 2 末日,格雷戈伊尔 2 Ganesh,维杰 2 蒂埃里·佩蒂特 2 圣菲省赞佩利 2 爱德华·祖尔科斯基 1 弗朗西斯科·阿泽夫多 1 亚历山德罗·贝尔塔尼翁 1 埃里克·伯劳 1 布莱特,柯蒂斯 1 卡尔森,Mats 1 费比安·卡斯塔尼奥 1 马克西米利亚诺·克里斯蒂亚 1 索菲·德马西 1 皮埃尔·弗莱纳 1 阿尔伯特·海因勒 1 卢克·杰林 1 迪米特里·尤斯特阿·阿莱雷 1 科齐里亚斯(Ilias S.Kotsireas)。 1 泽维尔·洛卡 1 Wady Naanaa 1 奥姆拉尼,穆罕默德·阿明 1 查尔斯·普鲁德霍姆 1 纪尧姆·罗查特 1 安德烈·罗西 1 吉安弗兰科·罗西 1 马克·塞沃 1 克莉丝汀·索尔农 1 贝诺·瓦莱里 1 努比亚贝拉斯科 1 鲁本·杜阿尔特·维加斯 1 菲利普·维斯马拉 4篇连载文章中引用 6 约束条件 2 自动推理杂志 1 欧洲运筹学杂志 1 RAIRO公司。运筹学 在5个字段中引用 12 计算机科学(68-XX) 5 组合数学(05-XX) 5 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文