CPGraph公司

约束编程的图形变量。CP(Graph)[1]在约束编程中定义了一个新的计算域:图域变量和这些变量上的约束。图形变量和约束的参考实现作为通用约束开发环境Gecode的贡献包发布。此版本的目的是为约束社区带来一个开放的、可重用的框架,适用于图形属性约束和基于图形的约束模型的设计和实现。当前版本的软件是迈向完整的图形变量框架的第一步。它应该被认为是beta软件。图形变量目前是使用Gecode的“视图”概念用集合变量实现的。一个视图将图形实现为一组节点和一组弧,另一个视图使用一组节点和N组相邻节点。还提供了一些约束条件。当前的约束是补码(G1,G2),路径(G,n1,n2)和路径(G,n1,n2,I,w)(见下文)。使用图变量和映射变量的单态性约束也在其他贡献中提供(见下文)。


zbMATH中的参考文献(参考文献14条)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. 克里斯蒂á, 马克西米利亚诺;Rossi,Gianfranco:求解有限集和二元关系上的无量词一阶约束(2020)
  2. 乌姆拉尼,穆罕默德胺;Naanaa,Wady:生成具有强制和禁止模式的图的约束:分子图的应用(2020)
  3. 祖尔科斯基,爱德华;聪明,柯蒂斯;海因勒,阿尔伯特;科茨里亚斯,伊利亚;查内基,克兹什托夫;Ganesh,Vijay:结合SAT解算器和计算机代数系统来验证组合猜想(2017)
  4. 卢克:只有射程的大满贯,没有明显的地标;约束规划方法(2016)
  5. 卡斯塔ño、 费边;伯劳,埃里克;贝拉斯科,努比亚;罗西,安德烈é; Sevaux,Marc:连接受限无线多角色传感器网络中生存期最大化的精确方法(2015)
  6. 祖尔科斯基,爱德华;加内什,维杰;Czarnecki,Krzysztof:MathCheck:通过计算机代数系统和SAT解算器的组合的数学助手(2015)
  7. 圣赞佩利é潘恩;德维尔,伊夫;Solnon,Christine:用约束规划求解子图同构问题(2010)
  8. 维加斯,鲁本·杜阿尔特;阿泽维多,弗朗西斯科:惰性约束对改善路径约束的影响(2009)
  9. 贝尔迪切努,尼古拉斯;皮埃尔,弗莱纳;Lorca,Xavier:结合树划分、优先级和不可比性约束(2008)
  10. 德维尔,伊夫;厄运,格é甲状腺肿;圣赞佩利é结合两个结构化域来模拟各种图匹配问题(2008)
  11. 维斯马拉,菲利普;瓦莱里,贝诺ît: 使用团检测或约束满足算法求最大公共连通子图(2008)
  12. 贝尔迪切努,尼古拉斯;卡尔森,马茨;德马西,索菲;佩蒂特,蒂埃里:全球约束目录:过去、现在和未来(2007)
  13. 贝尔迪切努,尼古拉斯;小提特,蒂埃里;Rochart,Guillaume:全局约束的图参数边界(2006)
  14. 厄运,格雷戈耶;德维尔,伊夫;杜邦,皮埃尔:CP(图):在约束规划中引入图计算域(2005)