主页 | 论文 | 软件 | 许可 | 学术应用 | 竞争 | 工业应用 | 加速服务实现
ParamILS是一种最先进的参数调整和算法配置方法。
它已用于数十名学者应用改进最先进的解决方案,解决十个以上的计算难题(见其250+谷歌学者引用).ParamILS在以下方面也产生了影响工业应用.在所有这些应用中,ParamILS产生了大量加速最先进的解决方案对于命题可满足性(SAT)、混合整数规划(MIP)、,人工智能规划、答案集编程(ASP)和时间表。这样做,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,霍尔格胡斯,和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格式]
[比比特斯]
数据
软件
许可
ParamILS免费用于学术用途。如果您想在商业产品中使用ParamILS,请联系我们了解许可选项。
请发送任何问题,关注或评论弗兰克赫特或克里斯福塞特