Gecode公司 swMATH ID: 6272 软件作者: 克里斯蒂安·舒尔特(Christian Schulte),KTH皇家理工学院 描述: Gecode是一个用于开发基于约束的系统和应用程序的工具包。Gecode提供了一个具有最先进性能的约束求解器,同时具有模块化和可扩展性。Gecode为:open。Gecode对编程是完全开放的:它可以很容易地与其他系统接口。它支持对新的约束、分支策略和搜索引擎进行编程。新的变量域可以以与Gecode预定义的变量相同的效率水平进行编程。全面。Gecode有一套全面的功能:对整数、布尔值、集合和浮点的约束(它实现了全局约束目录中的70多个约束,还有更多的约束);C++建模层;高级分支启发式(累计故障计数、活动);许多搜索引擎(并行、交互式图形、重新启动);自动对称破缺(LDSB);MiniZin支架;还有更多。有效率的Gecode在运行时和内存使用方面都提供了出色的性能。2008年至2012年:2012年、2011年、2010年、2009年和2008年,它在MiniZin挑战赛中赢得了所有类别的金牌。记录在案的Gecode提供了完整的教程(超过500页)和完整的参考文档,允许用户使用Gecode专注于不同的建模和编程任务。自由的Gecode是根据麻省理工学院许可证发布的,并被FSF列为自由软件。它的所有部分(包括参考文档、全局约束的实现和示例)都可以作为源代码下载。便携式的Gecode是用C++实现的,它严格遵循C++标准。它可以用现代C++编译器编译,并在多种机器上运行(包括64位机器)。平行Gecode符合现实,它利用当今商品硬件的多个核心进行并行搜索,为已经高效的基础系统提供了额外优势。已测试Gecode使用了一个包含近50000个不同测试用例的测试套件,测试覆盖率接近100 主页: http://www.gecode.org/ 编程语言: C类++ 相关软件: 迷你锌;CPLEX公司;乔科;彗星;CHUFFED公司;SCIP公司;CSPLib数据库;OR工具;迷你们;锌;古罗比;本质;日本石油公司;SICStus公司;github;炸薯条;PSPLIB程序;糖;超小卫星;萨特齐拉 引用于: 87文件 更多出版物: http://www.gecode.org/publications.html 全部的 前5名201位作者引用 11 彼得·詹姆斯·斯塔基 7 皮埃尔·弗莱纳 6 塔克,吉多 5 贾斯汀·皮尔逊 5 多梅尼科·萨尔瓦金 4 卡尔森,Mats 4 玛丽亚·加西亚·德拉班达 4 斯特凡诺·瓜兰迪 4 费德里科·马卢塞利 三 罗伯托·阿马迪尼 三 古斯塔夫·比约达尔 三 马蒂奥·菲舍蒂 三 汤姆·施里杰弗斯 三 克里斯蒂安·舒尔特 三 克莉丝汀·索尔农 三 托比·沃尔什 2 阿坤、奥祖尔 2 奥斯特兰德,马克斯 2 阿米莉亚,拜迪奇 2 拜迪奇,科斯汀 2 尼古拉斯·贝尔迪塞努 2 费利克斯·布兰特 2 杰弗里·楚 2 切赫,阿格内斯 2 巴特·德蒙 2 卢卡·迪·加斯佩罗 2 纪尧姆·埃斯卡莫彻 2 Laure Pauline Fotso 2 格雷姆·恒河 2 托拜厄斯·盖宾格 2 伊恩·菲利普·根特 2 Gérault,大卫 2 约翰·胡克(John N.jun Hooker)。 2 克里斯托弗·杰斐逊 2 米凯尔·约翰逊 2 罗杰·卡梅恩 2 乔治·卡特西雷洛斯 2 阿尔诺·拉洛伊特 2 李,吉米·霍曼 2 泽维尔·洛卡 2 克里斯托弗·米尔斯 2 伊恩·米格尔 2 Minier,海军 2 弗洛里安·米切克 2 珍妮·诺埃尔·莫内特 2 尼斯雷特·穆斯利乌 2 Peter W.南丁格尔。 2 路易斯·奥·奎萨达。 2 霍斯特·萨穆洛维茨 2 亚历山大·希恩多夫 2 约瑟夫·斯科特。 2 托马索·乌利 2 马尔库斯·沃尔克 2 皮特·威勒 1 艾琳·阿比·泽伊德 1 乌特库·乌穆尔·阿奇卡林 1 阿洛奇,大卫 1 杰里特·安德斯 1 肯特·霍伊·安徒生 1 穆罕默德·阿什贾伊 1 迈克尔·巴克斯 1 佩德罗·巴拉奥纳 1 莱因哈德·鲍尔 1 拉尔夫·贝克特 1 莫里斯·贝纳姆 1 格尔杜斯·贝纳代尔 1 马可·贝内德蒂(Marco H.Benedetti)。 1 西德汉·巴夫纳尼 1 曼纽尔·博迪尔斯基 1 米克尔波菲尔 1 布利古,离子 1 布林,雅库布 1 拉斐尔·卡巴列罗(Rafael E.Caballero)。 1 安东尼奥·卡彭 1 盖零件,昆廷 1 安德烈亚斯·卡迪内奥 1 朱利安娜·卡雷洛 1 布格拉·卡斯库鲁 1 切奇亚,萨拉 1 吉尔·查伯特 1 费利克斯·查卢梅奥 1 利维奥·西奥拉 1 安德烈·奥古斯托·西雷 1 迈克尔·科迪什 1 马可·科雷亚 1 伊兰·库隆 1 杰西卡·凯瑟琳·戴维斯 1 费利克斯·德·弗拉蒙德 1 西蒙·德·吉夫里 1 吕克·德·雷德 1 Jip J.德克尔。 1 德索特,贝诺特 1 雷米·杜伦斯 1 安东·德里斯 1 Enqvist,Per公司 1 杰西卡·恩赖特 1 哈米德·雷扎·费兹马达维安 1 伊利奥·菲利皮尼 1 朱利安·菲舍尔 1 凯瑟琳·格伦·弗朗西斯 …还有101位作者 全部的 前5名22篇连载文章中引用 29 约束条件 7 人工智能 三 计算机与运筹学 三 欧洲运筹学杂志 三 信息计算杂志 三 调度日志 2 运筹学年鉴 2 数学规划计算 1 离散应用数学 1 印度纯粹与应用数学杂志 1 网络 1 理论计算机科学 1 计算机程序设计科学 1 算法学 1 AI通信 1 实时系统 1 人工智能研究杂志 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 1 4OR(或) 1 欧洲计算优化杂志 1 SN运营研究论坛 全部的 前5名在9个字段中引用 57 运筹学、数学规划(90-XX) 44 计算机科学(68至XX) 7 组合数学(05-XX) 7 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文