萨滕斯坦 swMATH ID: 14233 软件作者: KhudaBukhsh,Ashiqur R。;徐林;霍尔格·胡斯。;凯文·莱顿·布朗 描述: SATenstein:从组件自动构建本地搜索SAT解算器。为计算困难的问题设计高性能的求解器是一项困难且通常耗时的任务。尽管此类设计问题传统上是通过应用人类专业知识来解决的,但我们主张使用自动方法。在这项工作中,我们考虑命题可满足性问题(SAT)的随机局部搜索(SLS)解的设计。我们首先介绍了一个通用的、高度参数化的求解器框架,称为SATenstein,其中包括从现有的SAT高性能SLS算法中提取或受其启发的组件。SATenstei的参数决定了选择哪些组件以及这些组件的行为;它们允许SATenstein实例化许多以前在文献中提出的高性能解算器,以及数以万亿计的新颖解算器策略。我们使用自动算法配置过程来查找SATenstein的实例化,这些实例化在几个著名的、具有挑战性的SAT实例分布上表现良好。我们的实验表明,SATenstein解算器与之前的SLS算法相比,取得了显著的性能改进;对于许多基准分布,我们的新解算器也显著优于以前最先进的算法的所有自动调整变体。 主页: http://www.cs.ubc.ca/labs/beta/Projects/SATenstein/ 关键词: 坐;随机局部搜索;自动算法配置 相关软件: 帕拉米尔斯;irace公司;SMAC公司;斑点;萨特齐拉;埃米利;超小卫星;UBCSAT公司;玲玲;SAT竞赛;PicoSAT卫星;AClib(AClib);ACOTSP公司;二甲基丙烯酸甲酯;SCIP公司;ParaDisEO公司;阿司匹林;汽车WEKA;Treengeling公司;褶皱 引用于: 20文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 SATenstein:从组件自动构建本地搜索SAT解算器。 Zbl 1351.68255号KhudaBukhsh,Ashiqur R。;徐、林;霍尔格·H·胡斯。;凯文·莱顿·布朗 2016 全部的 前5名42位作者引用 6 霍尔格·H·胡斯。 6 托马斯·G·Stützle。 4 凯文·莱顿·布朗 三 弗兰克·哈特 三 马里乌斯·林道尔 三 费德里科·帕格诺齐 2 阿德里安·巴林 2 曼纽尔·洛佩兹·伊瓦涅斯 2 尤里·马利茨基 2 Dave A.D.汤普金斯。 1 佩德罗·阿法罗·费尔南德斯 1 卡洛斯·安索特吉 1 Bayless,山姆 1 丹尼尔·博拉乔 1 Chu,向华 1 崔灿 1 崔建双 1 马可·多里戈 1 斯特凡·福克纳 1 阿尔贝托·弗兰津 1 乔尔·加布 1 阿德里安·戈埃芬 1 乔治·T·霍尔。 1 文森特·海诺克斯 1 塞尔达尔·卡迪奥格鲁 1 KhudaBukhsh,Ashiqur R。 1 利奥,凯文 1 李树香 1 廖天军 1 乔瓦尼·迪·利贝托 1 卡洛斯·利纳雷斯·洛佩斯 1 蒙特斯·德·奥卡(Marco A.Montes de Oca)。 1 塞尔吉奥·努涅斯 1 彼得罗·西蒙·奥利维托 1 Pfeiffer,森林 1 马库斯·里特 1 鲁宾·鲁伊斯 1 沙特,弗雷德里克 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 梅诺夫·塞尔曼 1 德克·苏霍尔特 1 徐、林 5篇连载文章中引用 6 人工智能 5 欧洲运筹学杂志 三 计算机与运筹学 2 运筹学国际交易 1 人工智能研究杂志 在4个字段中引用 12 计算机科学(68至XX) 10 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 按年份列出的引文