参数ILS

ParamILS是一种最先进的参数调整和算法配置方法。
它已用于数十名学者应用为超过十个困难的计算问题改进最先进的求解器（见其250+谷歌学者引用).ParamILS在以下方面也产生了影响工业应用.在所有这些应用中，ParamILS产生了大量加速最先进的解决方案对于命题可满足性（SAT）、混合整数规划（MIP）、，人工智能规划、答案集编程（ASP）和时间表。这样做，ParamILS帮助多个系统赢得了解算器比赛。

最新消息

2013年7月12日：ParamILS是实现可配置SAT解算器竞赛（CSSC），在多个域上实现了多个SAT解算器的数量级加速。

2012年10月10日：连续第五学期，UBC的40000名学生的考试已经安排好使用ParamILS优化的时间表。求解器的早期版本描述为福塞特等人。，[2009].

查看以前的新闻。

人

• 弗兰克·赫特,博士后研究员（UBC）
• Holger Hoos公司,教授（UBC）
• 托马斯Stützle公司，研究助理（自由大学布鲁塞尔，ULB）
• 凯文莱顿-布朗，助理教授（UBC）
• 克里斯·福塞特,博士生（UBC）：负责维护和持续功能ParamILS的开发。

论文

下面我们列出了与ParamILS方法直接相关的论文。数十篇应用ParamILS的论文要优化各种解算器，请参见应用程序第页。

• ParamILS：一种自动算法配置框架
  弗兰克·赫特（Frank Hutter）、霍尔格·胡斯（Holger H.Hoos）、凯文·莱顿·布朗（Kevin Leyton-Brown）和托马斯·斯图策（Thomas Stützle）。《人工研究杂志》2009年第36卷，第267-306页。
  【主要的ParamILS论文。本文介绍了ParamILS，然后介绍了自适应封顶，实现大型化的关键概念加速用于运行时优化。然后，它证明了算法配置对于广泛的应用是切实可行的域。它还讨论了陷阱和补救措施，以及高级概念，如元配置（使用ParamILS优化其自身参数）。
  注：本文中的自适应封顶实验仅显示出中等效果，因为使用了秒的短截止时间-在需要更长截止时间（例如小时）来解决更困难的情况的应用中，自适应封顶通常会减少所需的配置预算是几个数量级的。]
  [pdf格式] [比布特克斯]
  


• 自动算法基于本地搜索的配置
  Frank Hutter、Holger Hoos、，和Thomas Stützle-程序。AAAI 2007年。
  [介绍ParamILS第一版的会议文件，展示了初步有希望的结果。]
  [pdf格式] [比布特克斯]


• 并行算法配置
  Frank Hutter、Holger H.Hoos和Kevin Leyton-Brown。程序。2012年狮子座。
  [证明ParamILS非常适合通过多个独立运行进行并行化：由于其方差高，使用4个并行ParamILS运行并行化可以获得4倍以上的加速比，并且在一些情况下，使用16个核仍然可以获得接近16倍的加速比。
  注：早在2007年，我们就开始进行10次或25次多次独立运行，但本文是首次正式研究此政策的影响。]
  [pdf格式] [比布特克斯]

数据

• 基准实例用于我们的SAT4J和GLS的AAAI-07文件和参数文件+
• 算法用于我们的JAIR纸张，它们的参数和我们考虑的每个参数的值参数
• 基准在我们的JAIR公司使用FocusedILS为每个文件找到的图纸和参数设置

软件

• ParamILS 2.3.8版[来源和示例] [快速入门指南].
  这是最新版本，也是您应该用来调整算法的版本。
  
  更新了的更改AClib（AClib）和2014年中国证监会.改进了对使用挂钟时间的ParamILS截止的支持。
• 参数ILS版本2.3.7[来源和示例] [快速入门指南].
  支持SMAC轨迹CSV格式的输出，支持基于挂钟时间的调谐器超时，以及各种命令行选项的一些别名。
• ParamILS 2.3.5版[源代码、可执行文件和示例] [快速入门指南].
  次要错误修复将2.3.2错误修复扩展到不确定的情况用户已指定实例文件，但未能指定N正确地。现在打印警告，相应的值如下夹紧。
• 年龄较大的ParamILS的版本可以下载在这里

许可

请发送任何问题，关注或评论弗兰克Hutter公司或克里斯福西特