ICOS公司

ICOS:一个基于分枝定界的严格全局优化求解器。本文描述了一个名为区间约束求解器(ICOS)的软件包,它实现了严格求解全局优化问题的分枝定界算法。ICOS库包含来自约束规划、区间分析和线性松弛技术的算法。它包含一个与线性规划求解器和局部优化求解器(例如Coin/Clp、Cplex和IpOpt)的接口。ICOS也有自己的AMPL解析器,它允许在类似Unix的命令中调用ICOS二进制代码。ICOS策略语言可以组合和参数化现有算法来解决优化问题。因此,用户可以在不改变ICOS内部架构的情况下开发自己的解决策略。文中给出了不同的例子来说明如何使用策略语言。我们给出了一个ico的快速实现和用户指南。


zbMATH中的参考文献(参考文献16条,1标准件)

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

  1. 雷耶斯,维克托;Araya,Ignacio:\textscAbsTaylor:非线性连续全局优化问题的内部区域上界(2021)
  2. 阿拉亚,伊格纳西奥;Neveu,Bertrand:\texttlsmear:interval branch and bound solvers的变量选择策略(2018)
  3. 帕拉尼克,亚什;Sahinidis,Nikolaos V.:用于全局NLP和MINLP优化的域缩减技术(2017)
  4. 阿拉亚,伊格纳西奥;Reyes,Victor:优化和约束满足的区间分枝定界算法:调查与展望(2016)
  5. 巴格纳,罗伯托;卡莱尔,马修;戈里,罗伯塔;Gotlieb,Arnaud:利用二进制浮点表示进行约束传播(2016)
  6. 穹顶,费伦茨;Neumaier,Arnold:使用线性松弛的严格滤波(2012)
  7. 佩达马鲁,钱德拉·塞哈尔;Ozdamar,Linet:通过有效区间划分解决运动学问题(2011)
  8. 穹顶,费伦茨;Neumaier,Arnold:二次约束的约束传播(2010)
  9. Lebbah,Y.:ICOS:严格全局优化的基于分支和定界的解算器(2009)
  10. Sahinidis,Nikolaos V.:全局优化(2009)
  11. 呜,萱哈;萨姆哈罗德,贾米拉;Fallings,Boi:使用多个包含表示增强数值约束传播(2009)
  12. 呜,萱哈;希奇,赫尔曼;Sam Haroud,Djamila:数值约束求解的有向无环图的区间传播和搜索(2009)
  13. 王伟;盖特,阿尔奇;Zabinsky,Zelda B.:自适应参数化改进全局优化的命中与逃逸(2009)
  14. 詹森,基督徒;柴金,丹尼斯;Keil,Christian:半定规划中最优值的严格误差界(2008)
  15. 佩达马鲁,钱德拉·塞哈尔;奥兹达马尔,莱奈;Ceberio,Martine:约束满足的有效区间划分局部搜索协作(2008)
  16. 纽梅尔,阿诺德;希切比纳,奥列格;休耶,沃尔特劳;Vinko,Tamás:完全全局优化解算器的比较(2005)