×

兹马思-数学第一资源

局部求解器1。x: 用于0-1编程的黑盒局部搜索解算器。(英语) Zbl 1231.90318号
小结:本文介绍了局部求解器1。,一个用于一般0-1编程的黑盒局部搜索求解器。该软件允许或从业者专注于使用简单形式的问题建模,然后将其实际解决方案推迟到基于高效可靠的局部搜索技术的求解器。始于2007年,目标是局部求解器该项目旨在为组合优化问题提供一种模型和运行方法,这些问题是现有黑盒树搜索求解器(整数或约束规划)无法解决的。概述了建模形式及其背后的主要技术特征局部求解器通过大量的计算研究,证明了其有效性。的1.1版局部求解器可免费下载http://www.localsolver.com用于教育、研究或商业目的。

理学硕士:
90C27型 组合优化
90摄氏度 整数规划
90度90度 数学规划的应用
90B90型 运筹学中的案例研究
90-04年 有关运筹学和数学规划问题的软件、源代码等
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Aarts E,Lenstra J(1997)组合优化中的局部搜索。在:Aarts E,Lenstra J(eds)在组合优化中的局部搜索,wiley interscience级数在离散数学和最优化中。威利,奇切斯特·Zbl 0869.00019
[2] Benoist,Boureau E(2008)《永恒的快速全球过滤2》。约束程序Lett 3:35–50
[3] Benoist,Estellon B,Gardi F,Jeanjean A(2009a)用于解决库存路径问题的高性能局部搜索。在:Stützle T,Biratari M,Hoos H(eds)2009年SLS论文集,第二届工程随机局部搜索算法国际研讨会,Springer,《计算机科学讲义》,第5752卷,第105-109页
[4] Benoist,Jeanjean A,Molin P(2009b)《住宅建筑施工现场最低模板库存问题》。4OR-Q操作研究7:275–288·Zbl 1176.90372
[5] Cahon S,Melab N,Talbi EG(2004)ParadisEO:并行和分布式元启发式可重用设计框架。启发式10(3):357–380
[6] Caseau Y,Laburthe F,Silverstein G(1999)车辆路径问题的元启发式工厂。在:1999年CP会刊,斯普林格,计算机科学课堂讲稿,第1713卷,144-158页
[7] 彗星教程(2010)彗星2.1教程。Dynadec Decision Technologies Inc.,普罗维登斯,RI,581页,http://www.dynadec.com
[8] Di Gaspero L,Schaerf A(2003)EasyLocal++:用于灵活设计局部搜索算法的面向对象框架。软实践实验33(8):733–765·Zbl 01963260
[9] DotúI,Van Hentenryck P(1999)当地社会高尔夫球手计划。在:2005年CPAIOR会议录,Springer,计算机科学课堂讲稿,第3524卷,155-167页·Zbl 1133.90336
[10] Estellon B,Gardi F,Nouioua K(2006)《解决汽车排序问题的大型社区改进》。雷罗操作研究40(4):355-379·Zbl 1151.90523
[11] Estellon B,Gardi F,Nouioua K(2008)两种解决实际汽车排序问题的局部搜索方法。欧洲运营研究191(3):928–944·Zbl 1156.90361
[12] Estellon B,Gardi F,Nouioua K(2009)具有人力资源分配的任务调度的高性能本地搜索。在:SLS 2009年会刊,斯普林格,计算机科学课堂讲稿,第5752卷,第1-15页
[13] 2009年米格尔·瓦利奇图书馆的约束条件。http://www.csplib.org
[14] Michel L,Van Hentenryck P(2000)航向仪。约束5(1/2):43–84·Zbl 0988.90015
[15] Perron L,Shaw P(2004)联合力量解决汽车排序问题。在:2004年CPAIOR会议录,Springer,计算机科学课堂讲稿,第3011卷,第225-239页·Zbl 1094.68651
[16] Perron L,Shaw P,Furnon V(2004)传播引导大邻域搜索。在:2004年CP会议录,斯普林格,计算机科学讲义,第3258卷,468-481页·Zbl 1152.68572号
[17] Prandtstetter M,Raidl G(2008)车辆排序问题的整数线性规划方法和混合变量邻域搜索。欧洲运营研究191(3):1004–1022·Zbl 1156.90321
[18] Rego C,Glover F(2002)局部搜索和元启发式。在:古丁G,普南A(eds)旅行推销员问题及其变化。Kluwer学术出版社,多德雷赫特,第105-109页
[19] Schaus P,Deville Y(2008年),《合同与其他项目的杂交》(Hybridion de la programmation par Contraines et d'un voisinage a très grande taille pour Eternaly II)。在:JFPC 2008年会议记录,第115-122页
[20] Schaus P,Hentenryck PV,Monette JN,Coffrin C,Michel L,Deville Y(2011),用基于约束的技术解决钢厂板坯问题:CP、LNS、CBL,出现在约束中
[21] Selman B,Kautz H,Cohen B(1996)可满足性测试的局部搜索策略。在:约翰逊D,技巧M(编辑)集团,着色和可满足性:第二次DIMACS实现挑战,离散数学和理论计算机科学的DIMACS系列,第26卷。AMS,普罗维登斯
[22] Van Hentenryck P,Michel L(2005)基于约束的局部搜索。麻省理工学院出版社,波士顿·Zbl 1153.90582
[23] 基于Michel-2007的局部约束综合算法。在:2007年美国审计协会会议记录,第273-279页
[24] Van Hentenryck P,Michel L(2008)《钢厂板坯设计问题再探讨》。在:2008年CPAIOR会议录,计算机科学课堂讲稿,第5015卷,377-381页
[25] Vasquez M,Hao JK(2001)地球观测卫星每日照片调度的“逻辑约束”背包公式和禁忌算法。计算优化应用程序20(2):137–157·Zbl 0983.90082
[26] Voudouris C,Dorne R,Lesaint D,Liret A(2001)iOpt:启发式搜索方法的软件工具包。在:2001年CP会议录,计算机科学讲义,第2239卷,第716-730页·Zbl 1067.68681
[27] Walser J,Iyer R,Venkatasubramanyan N(1998)一种整数局部搜索方法及其在生产计划中的应用。在:1998年AAAI会议记录,第373-379页
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。