萨齐拉

SATzilla:SATzilla:基于投资组合的SAT算法选择。人们广泛观察到,SATzilla没有单一的“主导”SAT求解器;相反,不同的解算器在不同的实例上表现最好。我们不遵循传统的方法为给定的实例类选择最佳解算器,而是提倡在每个实例的基础上在线做出此决策。在先前工作的基础上,我们描述了SATzilla,一种自动构建SAT算法组合的方法,它使用所谓的经验硬度模型来选择其组成解算器。该方法将问题实例的分布和一组组件求解器作为输入,构造一个优化给定目标函数(如平均运行时间、实例解决百分比或竞争得分)的投资组合。SATzilla的出色表现在2007年SAT比赛中得到了独立验证,我们的SATzilla07解算器获得了3枚金牌、1枚银牌和1枚铜牌。在本文中,我们超越了SATzilla07,它使组合构建具有可伸缩性和完全自动化,并通过将本地搜索解算器集成为候选解算器,通过预测性能得分而不是运行时,以及使用考虑不同类型SAT实例的分层硬度模型来改进它。我们在数据集(包括最近的SAT竞赛的实例)上展示了这些新技术的有效性。


zbMATH中的参考文献(参考文献100篇文章)

显示第1到第20个结果,共100个。
按年份排序(引用)
  1. 穆勒,大卫;穆勒,马库斯G。;克莱斯,多米尼克;Pesch,Erwin:柔性作业车间调度问题的算法选择方法:通过机器学习选择约束规划求解器(2022)
  2. 天鹅,杰瑞;阿德里安森,史蒂文;布朗利,亚历山大E.I。;哈蒙德,凯文;约翰逊,科林·G。;艾哈迈德·凯里;克拉威克,福斯蒂娜;梅雷洛,J.J。;明库,莱安德罗L。;厄兹坎,恩德;帕帕,吉赛尔L。;加西亚桑切斯,巴勃罗;舍伦森,肯尼斯;哦,斯蒂芬;瓦格纳,马库斯;怀特,大卫R.:元启发式“在大的”(2022年)
  3. Ábrahám,埃里卡;达文波特,詹姆斯H。;英格兰,马修;Kremer,Gereon:用圆柱代数覆盖确定非线性实数运算约束与冲突驱动搜索的一致性(2021)
  4. 阿玛蒂尼,罗伯托;恒河,格雷姆;沙赫特,彼得;桑德加德,哈拉尔德;Stuckey,Peter J.:动态符号执行的算法选择:初步研究(2021)
  5. 阿蒙多拉,乔凡尼;多达罗,胭脂红;费伯,沃尔夫冈;Ricca,Francesco:次相干答案集计算(2021)
  6. 贝尔西马斯,迪米特里斯;斯特拉托,巴托洛梅奥:优化之声(2021)
  7. 杜德克,杰弗里·M。;潘,吴海恩。;Vardi,Moshe Y.:ProCount:带分级项目连接树的加权投影模型计数(2021年)
  8. 古托夫斯基,尼古拉斯;阿姆加尔,塔萨迪特;营地,奥利弗;Chhel,Fabien:Gorthaur-EXP3:从平衡精度多样性困境的推荐算法组合中基于bandit的选择(2021)
  9. 霍尔顿,埃德瓦德K。;Korovin,Konstantin:一阶定理证明的异构启发式优化与调度(2021)
  10. 皮姆帕尔哈雷,尼基尔;莫拉,费德里科;波尔格林,伊丽莎白;Seshia,Sanjit A.:MedleySolver:在线SMT算法选择(2021)
  11. 卡利梅里,弗朗西斯科;多达罗,胭脂红;达斯卡,戴维德;佩里,西蒙娜;Zangari,Jessica:技术说明。高效耦合(\mathscrI)-DLV地滚球与ASP解算器(2020)
  12. 丹塔斯,奥古斯托;Pozo,Aurora:关于适应度景观特征在基于元学习的二次分配问题算法选择中的应用(2020)
  13. 迪吉斯,迈克尔;Truszczynski,Miroslaw:自动聚合器--用计数聚合重写(2020)
  14. 弗洛雷斯库,道林;英格兰,马修:改进了分类器的交叉验证,在不影响输出正确性的前提下进行算法选择以最小化运行时间(2020)
  15. 冈萨雷斯,詹姆·E。;赛尔,安德烈A。;洛迪,安德里亚;卢梭,路易斯·马丁:集成整数规划和决策图搜索树及其在最大独立集问题中的应用(2020)
  16. 迪乌尼亚,迭戈;恒河,格雷姆;沙赫特,彼得;Stuckey,Peter J.:将CP子问题编译为MDDs和d-DNNFs(2019年)
  17. 埃根斯佩格,凯瑟琳;林道尔,马吕斯;Hutter,Frank:算法配置中的陷阱和最佳实践(2019)
  18. 英格兰,马修;Florescu,Dorian:比较机器学习模型以选择圆柱形代数分解的变量顺序(2019)
  19. 林道尔,马吕斯;范瑞恩,一月。;Kotthoff,Lars:2015和2017(2019)算法选择竞赛
  20. 刘,刘;Truszczynski,Miroslaw:用ASP解决哈密顿循环问题的编码选择(2019)