×
卡洛斯·安索特吉;乔尔·加布;尤里·马利茨基;梅诺夫·塞尔曼

MaxSAT通过改进的实例特定算法配置实现。 （英语） 兹比尔1352.68218

Artif公司。智力。 235，26-39（2016）.
总结：我们的目标是提高MaxSAT解决方案的最先进性能。为此，我们使用特定实例的算法配置器ISAC，并使用最新的组合技术对其进行改进。SAT上的实验结果表明，这种组合标志着我们根据实例调整算法的能力向前迈进了一大步。然后，我们将新方法应用于多个MaxSAT问题域，并表明所得到的解算器在各自的问题族上始终优于现有的最佳解算器。事实上，在2013年和2014年的MaxSAT评估中，这里介绍的解算器都是独立评估的，他们获得了多个类别的奖项。

引用于9文件

MSC公司：

68分20秒 人工智能背景下的问题解决（启发式、搜索策略等）
68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

算法配置;算法选择;最大SAT

软件：

QMax卫星;萨特齐拉;周六4j;MiniMaxSat卫星;萨滕斯坦;帕拉米尔斯;SAT竞赛;SMAC公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Ansótegui}等人，Artif。智力。235，26-39（2016；Zbl 1352.68218）
全文： 内政部

参考文献：

[1] 阿登索·迪亚兹，B。；Laguna，M.，使用分数实验设计和局部搜索对算法进行微调，Oper。研究，54，1，99-114（2006）·Zbl 1167.90654号
[2] Ansotegui，C。；博内，M.L。；Levy，J.，通过可满足性测试求解（加权）部分最大值，（SAT（2009）），427-440·兹比尔1247.68242
[3] Ansotegui，C。；Gabas，J.，用ilp求解（加权）部分最大卫星，（CPAIOR（2013）），403-409
[4] Ansotegui，C。；Sellmann，M。；Tierney，K.，算法自动配置的基于性别的遗传算法，（CP（2009）），142-157
[5] 卡洛斯·安索特吉；玛丽亚·路易莎（Maria Luisa Bonet）；乔尔·加布（Joel Gabás）；Levy，Jordi，改进基于sat的加权maxsat解算器，（CP（2012）），86-101
[6] 卡洛斯·安索特吉；玛丽亚·路易莎（Maria Luisa Bonet）；Levy，Jordi，基于卫星的maxsat算法，Artif。智力。，196, 77-105 (2013) ·Zbl 1270.68265号
[7] 卡洛斯·安索特吉；迪迪埃，弗雷德里克；Gabás，Joel，《利用maxsat中不可满足核心的结构》（IJCAI（2015）），283-289
[9] Argelich，J。；Manyá，F.，带子句学习的部分Max-SAT解算器，（SAT（2007）），28-40
[10] 约塞普·阿盖利奇（Josep Argelich）；Manyá，Felip，过约束问题的精确max-sat解算器，《启发式杂志》，12，4-5，375-392（2006）·Zbl 1100.68107号
[11] Audemard，Gilles；西蒙·洛朗（Simon，Laurent），《现代SAT解题器中预测习得子句的质量》（IJCAI（2009）），第399-404页
[12] Audet，C。；Orban，D.，使用无导数优化寻找最佳算法参数，SIAM J.Optim。，17, 3, 642-664 (2006) ·邮编1128.90060
[14] 丹尼尔·勒贝雷（Daniel Le Berre）；Parrain，Anne，The sat4j库，2.2版，JSAT，7，2-3，59-64（2010）
[15] 马可·科拉布蒂（Marco Collautti）；尤里·马利茨基；梅塔、迪帕克；O'Sullivan，Barry，Snap:算法组合的基于解算器的最近邻，（ECML（2013）），435-450
[16] （2012），SAT竞赛
[17] 科伊，S.P。；Golden，B.L。；Runger，G.C。；Wasil，E.A.，《使用实验设计为启发式找到有效的参数设置》，《启发式》，7，77-97（2001）·Zbl 0967.90018号
[18] Darras，S。；Dequen，G。；德文德维尔，L。；Li，C.M.，《关于Max-SAT求解的不一致子句子集》（CP（2007）），225-240·Zbl 1145.68509号
[19] 傅，Z。；Malik，S.，《关于解决部分最大卫星问题》（sat（2006）），252-265·Zbl 1187.68540号
[20] 哈默利，G。；Elkan，C.，学习k均值中的k，（NIPS（2003）），281-288
[21] 赫拉斯，F。；Larrosa，J。；Oliveras，A.，《Minimaxsat:一种新的加权最大卫星解算器》（sat（2007）），41-55
[23] Hoos，Holger H.，《步行卫星的自适应噪声机制》（AAAI（2002）），第655-660页
[24] Hutter，F。；胡斯，H.H。；莱顿-布朗，K。；Stuetzle，T.，《Paramils:自动算法配置框架》，J.Artif。智力。决议，36，267-306（2009）·Zbl 1192.68831号
[25] 弗兰克·赫特（Frank Hutter）；胡斯，霍尔格；Leyton-Brown，Kevin，通用算法配置的基于序列模型的优化，（LION（2011）），507-523
[26] 弗兰克·赫特（Frank Hutter）；Dave A.D.汤普金斯。；Hoos，Holger H.，缩放和概率平滑：SAT的高效动态局部搜索，（CP（2002）），233-248
[27] 卡迪奥格鲁，S。；Malitsky，Y。；Sabharwal，A。；萨穆洛维茨，H。；Sellmann，M.，算法选择和调度，（CP（2011）），454-469
[28] 卡迪奥格鲁，S。；Malitsky，Y。；Sellmann，M。；Tierney，K.，ISAC-实例特定算法配置，（ECAI（2010）），751-756
[29] KhudaBukhsh，A.R。；徐，L。；胡斯，H.H。；Leyton Brown，K.，Satenstein:从组件自动构建本地搜索sat解算器，（IJCAI（2009））·Zbl 1351.68255号
[30] 小村，M。；张，T。；Fujita，H。；长谷川，R.，Qmaxsat:部分最大卫星解算器，JSAT，8，1/2，95-100（2012）·Zbl 1331.68209号
[31] 克里斯蒂安·克罗尔（Christian Kroer）；Malitsky，Yuri，针对实例特定算法配置的特征过滤，（ICTAI（2011）），849-855
[32] 阿德里安·库格尔（Adrian Kuegel），加权最大卫星问题的改进精确解算器，POS-10，8，15-27（2012）
[33] 李楚敏；多阿，费利普；Planes，Jordi，Max SAT的新推理规则，J.Artif。智力。决议，30（2007年）·Zbl 1153.68470号
[34] Li，C.M。；Huang，W.Q.，G2wsat:基于梯度的贪婪walksat，（SAT，第3569卷（2005）），158-172
[35] Lin，H。；苏凯。；Li，C.M.，Max-SAT求解中有效下限计算的问题学习，（AAAI（2008）），351-356
[36] Malitsky，Y。；Sellmann，M.，作为非模型投资组合生成方法的实例特定算法配置，（CPAIOR（2012）），244-259
[37] 尤里·马利茨基；萨巴沃尔，阿什什；霍斯特·萨穆洛维茨；Sellmann，Meinolf，基于成本敏感层次聚类的算法组合，（IJCAI（2013）），608-614
[38] Manquinho，V。；Marques-Silva，J。；Planes，J.，加权布尔优化算法，（SAT（2009）），495-508·Zbl 1247.68258号
[39] Marques-Silva，J。；Planes，J.，使用不可满足核的最大可满足性算法，（DATE（2008）），408-413
[40] 马托斯，P.J。；平面，J。；Letombe，F。；Marques-Silva，J.，最大卫星算法组合（ECAI（2008）），911-912
[41] 安托尼奥·莫尔加多；费德里科·赫拉斯（Federico Heras）；Mark H.Liffiton。；乔迪（Jordi）；Marques-Silva，Joao，《迭代和核心制导最大卫星解算：调查和评估》，《限制条件》，第18、4、478-534页（2013年）·Zbl 1317.90199号
[42] 尼古拉，M。；Maric，F。；Janici，P.，基于实例的卫星解决方案政策选择，（sat（2009）），326-340
[43] O'Mahony，E。；希伯拉德，E。；荷兰，A。；Nugent，C。；O'Sullivan，B.，在约束求解算法组合中使用基于案例的推理，（AICS（2008）），210-216
[46] Steven David Prestwich，《连续平滑可变权重的随机行走》（SAT（2005）），203-215·Zbl 1128.68478号
[47] 普利纳。；Taccella，A.，量化布尔公式的多引擎求解器，（CP（2007）），574-589
[48] 布莱恩·西尔弗索恩；Miikkulainen，Risto，算法组合方法的潜在类模型，（AAAI（2010）），167-172
[49] 桑顿，J。；Pham，D.N。；贝恩，S。；费雷拉，V.，sat的加法与乘法子句权重，（PRICAI（2008）），405-416
[54] 徐，L。；胡斯，H.H。；Leyton-Brown，K.，Hydra:基于投资组合选择的自动配置算法，（AAAI（2010）），210-216
[55] 徐，L。；Hutter，F。；胡斯，H.H。；Leyton-Brown，K.，Satzilla:基于投资组合的sat算法选择，J.Artif。智力。研究，32，1565-606（2008）·Zbl 1182.68272号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。