SATzilla公司 swMATH ID: 6281 软件作者： 徐，L。；Hutter，F。；胡斯，H.H。；莱顿·布朗，K。 描述： SATzilla：基于组合的SAT算法选择。广泛观察到，没有单一的“主导”SAT解算器；相反，不同的解算器在不同的实例上表现最佳。我们不遵循为给定的实例类选择最佳解算器的传统方法，而是提倡在实际基础上在线做出此决策。在先前工作的基础上，我们描述了SATzilla，这是一种为SAT构建per-instance算法组合的自动化方法，它使用所谓的经验硬度模型在其组分求解器中进行选择。该方法将问题实例的分布和一组组件求解器作为输入，并构建优化给定目标函数的投资组合（例如平均运行时间、解决实例的百分比或比赛得分）。SATzilla的出色表现在2007年SAT比赛中得到了独立验证，我们的SATzilla07解算器获得了三枚金牌、一枚银牌和一枚铜牌。在本文中，我们超越了SATzilla07，通过使投资组合构建可扩展且完全自动化，通过将本地搜索求解器集成为候选求解器，通过预测性能得分而不是运行时，以及通过使用考虑不同类型SAT实例的层次硬度模型来改进它。我们在数据集的大量实验结果中证明了这些新技术的有效性，包括最近SAT竞赛的实例。 主页： http://www.cs.ubc.ca/labs/beta/Projects/SATzilla网站/ 关键词： SAT的每实例算法组合 相关软件： 帕拉米尔斯;超小卫星;SMAC公司;z3（零3）;扣环;irace公司;迷你锌;阳光;糠;阿司匹林;玲玲;汽车-WEKA;对夹2;萨滕斯坦;威卡;自动对开;变形杆菌属;弯曲;伯克明州;VAMPIRE公司 引用于： 96文件 全部的 前5名260位作者引用 9 霍尔格·H·胡斯。 7 莱顿·布朗，凯文 7 马吕斯·林道尔 6 弗兰克·哈特 5 英格兰，马修 4 贾尼契奇，普雷德拉格 三 罗伯托·阿马迪尼 三 吉尔·奥德玛 三 毛里齐奥·加布里埃利 三 尤里·马利茨基 三 雅各布·毛罗 三 托尔斯滕·绍布（Torsten H.Schaub）。 三 徐，林 2 卡洛斯·安索特吉 2 达瓦策伦·巴塔 2 阿德里安·巴林特 2 尼古拉·S·比约纳。 2 詹姆斯·哈罗德·达文波特 2 卡明·多达罗 2 凯萨琳娜·艾根斯佩格 2 多里安·弗洛雷斯库 2 马特奥·加格利奥洛 2 维杰·加内什 2 罗兰·卡明斯基 2 拉尔斯·科特霍夫 2 佐尔坦科瓦奇 2 丹尼尔·库尔温 2 Miguel，伊恩 2 穆斯塔法 2 梅诺夫·塞尔曼 2 桑吉特·阿伦库马尔·塞希亚 2 Laurent S.R.西蒙。 2 凯特·A·史密斯·迈尔斯。 2 特鲁什琴斯基，米洛斯奥 2 约瑟夫·乌尔班 1 艾丽卡·阿尔布拉汉姆 1 史蒂文·阿德里安森 1 阿坤、奥祖尔 1 塔斯尼姆·纳赛尔·叶海亚 1 阿洛奇，大卫 1 乔瓦尼·阿蒙多拉 1 塔萨迪特·阿姆加尔 1 安、波 1 马塞洛·巴尔杜奇尼 1 邦尼·班纳吉 1 萨姆·贝利斯 1 迪米特里斯·约翰·伯西马斯 1 阿明·比尔 1 丹尼尔·宾克利·雷布尔 1 伯恩德·比施尔 1 Böhme，萨沙 1 玛丽亚·路易莎·博内 1 丹尼尔·博拉乔 1 詹姆斯·博雷特（James E.Borrett）。 1 弗朗西斯科·博塔纳 1 罗素·J·布拉德福德。 1 詹姆斯·布里奇。 1 亚历山大·E·I·布朗利。 1 伊桑·伯恩斯 1 詹皮埃罗·卡波迪 1 蔡少伟 1 弗朗西斯科·卡利默里 1 奥利维尔·坎普 1 Marie-Liesse Cauwet 1 克里斯托夫·塞林 1 费德里科·塞鲁蒂 1 法比安·查尔 1 安德烈·奥古斯托·西雷 1 科恩，大卫·沃尔夫 1 奥古斯托·塞萨尔·海卢伊·丹塔斯 1 帕特里克·德·考斯马克 1 西蒙·德·吉夫里 1 莱昂纳多·德·莫拉 1 迭戈·德乌尼亚 1 丽娜·德希特 1 尤利娅·德米亚诺娃 1 克莱里斯·达尼恩斯 1 保利乌斯·迪尔卡斯 1 迈克尔·丁吉斯 1 阿戈斯蒂诺·多维尔 1 杰弗里·杜德克。 1 穆罕默德·埃尔巴奇尔·梅奈 1 哥波尔·埃尔德莱伊 1 沃尔夫冈·费伯 1 亨宁费尔瑙 1 塞巴斯蒂安·费奇迈斯特 1 娜塔莉亚·弗莱罗娃 1 安德烈亚·福米萨诺 1 Anthony C.J.福克斯。 1 亚历山大·弗雷谢特 1 戴维·福斯卡 1 乔尔·加布 1 甘格，格雷姆 1 巴勃罗·加西亚·桑切斯 1 马丁·格布瑟 1 伊恩·菲利普·根特 1 马西米利亚诺·贾科明 1 丹尼尔·格纳德 1 朱迪·戈德史密斯 1 Jaime E.González。 …还有160多名作者 全部的 前5名24篇连载文章中引用 16 人工智能 7 数学与人工智能年鉴 5 自动推理杂志 5 欧洲运筹学杂志 5 约束条件 5 逻辑程序设计的理论与实践 4 系统设计中的形式化方法 三 机器学习 三 人工智能研究杂志 2 计算机科学与技术杂志 2 AI通信 1 离散应用数学 1 信息科学 1 SIAM计算机杂志 1 理论计算机科学 1 计算机与运筹学 1 国际近似推理杂志 1 启发式杂志 1 国际应用数学与计算机科学杂志 1 离散优化 1 计算机科学中的逻辑方法 1 计算机代数中的ACM通信 1 程序设计中的逻辑与代数方法杂志 1 理论计算机科学课文。EATCS系列 全部的 前5名11个领域引用 86 计算机科学（68至XX） 21 运筹学、数学规划（90-XX） 4 数学逻辑和基础（03-XX） 4 统计学（62-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 组合数学（05-XX） 1 几何图形（51-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 1 数学教育（97-XX） 按年份列出的引文