通用电气代码

Gecode是一个用于开发基于约束的系统和应用程序的工具包。Gecode提供了一个具有最先进性能的约束求解器,同时具有模块化和可扩展性。通用代码是:开放。Gecode对编程是完全开放的:它可以很容易地与其他系统接口。它支持新约束、分支策略和搜索引擎的编程。新的变量域可以以与Gecode预定义的变量相同的效率进行编程。全面。Gecode有一套全面的特性:整数约束、布尔约束、集合约束和浮点约束(它实现了来自全局约束目录的70多个约束,以及更多的约束);C++建模层;高级分支启发式(累积故障计数、活动);许多搜索引擎(并行、交互式图形化、重新启动);自动对称破坏(LDSB);微型锌支架;等等。高效的Gecode在运行时和内存使用方面都提供了出色的性能。它在2008年至2012年的MiniZinc挑战赛中获得了所有类别的金牌:2012年、2011年、2010年、2009年和2008年。文档化的Gecode附带完整的教程(超过500页)和完整的参考文档,允许用户使用Gecode关注不同的建模和编程任务。免费的Gecode是根据麻省理工学院的许可证发布的,并被FSF列为免费软件。它的所有部分(包括参考文档、全局约束的实现和示例)都可以作为源代码下载。可移植的Gecode是用C++实现的,它严格遵循C++标准。它可以用现代的C++编译器编译,并在各种机器上运行(包括64位机器)。并行Gecode符合现实,它利用当今商品硬件的多个核心进行并行搜索,为已经高效的基本系统提供了额外的优势。经过测试的Gecode使用了一个测试套件,其中有将近50000个不同的测试用例,测试覆盖率接近100%。


zbMATH参考文献(参考 60篇文章

显示第1到第20个结果,共60个。
按年份排序(引文)
  1. Gerault,David;Lafourcade,Pascal;Minier,Marine;Solnon,Christine:用约束编程计算AES相关关键微分特性(2020)
  2. Amadini,Roberto;Andrlon,Mak;Gange,Graeme;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  3. 比约达尔,古斯塔夫;弗莱纳,皮埃尔;皮尔森,贾斯汀:通过混合与完全搜索在局部搜索中生成复合移动(2019)
  4. Geibinger,Tobias;Mischek,Florian;Musliu,Nysret:调查现实世界工业测试实验室调度的约束编程(2019)
  5. Kadıoílu,Serdar:核心组布局:异构资源的分配和供应(2019年)
  6. Amadini,Roberto;Gange,Graeme;Stuckey,Peter J.:传播\textsclex、\textscfindand\textscReplacewithdash strings(2018年)
  7. Enright,Jessica;Meeks,Kitty:删除边缘以限制流行病的规模:treewidth的新应用(2018)
  8. Fischetti,Matteo;Monaci,Michele;Salvagnin,Domenico:混合整数线性规划的自分割并行化(2018)
  9. Laborie,Philippe;Rogerie,Jérôme;Shaw,Paul;Vilím,Petr:IBM ILOG CP调度优化器。IBM/ILOG 20多年的有限制的时间安排(2018年)
  10. Riedler,Martin;Raidl,Günther:用基于逻辑的Benders分解解决选择性拨号搭车问题(2018)
  11. Schiendorfer,Alexander;Knapp,Alexander;Anders,Gerrit;Reif,Wolfgang:MiniBrass:MiniZn的软约束(2018)
  12. 阿马蒂尼,罗伯托;弗莱纳,皮埃尔;皮尔森,贾斯汀;斯科特,约瑟夫D.;斯图基,彼得J.;塔克,吉多:带弦的迷你锌(2017)
  13. Dekker,Jip J.;Björdal,Gustav;Carlsson,Mats;Flener,Pierre;Monette,Jean Noël:MiniZn中子问题预解的自动表格(2017)
  14. Fischetti,Matteo;Liberti,Leo;Salvagnin,Domenico;Walsh,Toby:轨道收缩:理论与应用(2017)
  15. Guns,Tias;Dries,Anton;Nijssen,Siegfried;Tack,Guido;De Raedt,Luc:基于约束的采矿的声明性框架(2017)
  16. 内核约束;micheltenp,2017;micheln-architecture
  17. Minot,Maël;Ndiaye,Samba Ndojh;Solnon,Christine:结合CP和ILP在有界高度树分解中的求和着色问题(2017)
  18. Peter Nightingale;Aggün,厄兹格尔;Gent,Ian P.;Jefferson,Christopher;Miguel,Ian;Spracklen,Patrick:自动改进Savile Row的约束模型(2017)
  19. Scott,Joseph D.;Flener,Pierre;Pearson,Justin;Schulte,Christian:有界长度序列变量的设计与实现(2017)
  20. Surynek,Pavel:基于时间扩展图的协同寻径优化求解命题编码(2017)

更多出版物请访问:http://www.gecode.org/publications.html