YalSAT卫星 swMATH ID: 31644 软件作者: 阿明·比尔 描述: YalSAT是另一个本地搜索解决方案。大约在2012年,本地搜索解决方案变得更加强大,甚至成为在SAT竞赛精心设计的赛道上获得最先进性能的关键。特别是ProbSAT的思想表明,使用WalkSAT的简单而漂亮的变体,在某些难以满足但非随机的实例上,本地搜索可能具有竞争力。作为介绍ProbSAT的Adrian Balint博士论文回顾的一部分,我们在新的局部搜索SAT解算器YalSAT中重新实现了Prob SAT算法,验证了其有效性。我们感到非常惊讶的是,局部搜索解算器能够解出一些简单的结构公式,我们还将其用于CDCL解算器的回归测试,当然,除了解出硬均匀的随机公式之外。在并行SAT解算器Treengeling的一个局部搜索处理阶段,我们继续使用YalSAT,该解算器依次使用一个或两个Lingeling线程,并以组合风格的方式启用局部搜索,与主立方与查询算法并行。事实上,在2017年SAT竞赛中,YalSAT赢得了随机曲目,但参赛人数很少,2016年SAT比赛中随机曲目的获胜者Dimetheus也缺席了 主页: http://fmv.jku.at/yalsat/ 相关软件: 玲玲;弯曲;Treengeling公司;钙DiCaL;超小卫星;斯普拉茨;MapleCOMSPS公司;糠;帕拉库巴;基萨特;地图COMSPS_LRB;PaInleSS公司;DRAT-饰件;葡萄糖;github;HordeSat公司;PrecoSAT公司;ManySAT公司;z3型;地图_LCM_Dist_ChronoBT 引用于: 24文件 全部的 前5名60位作者引用 5 阿明·比尔 5 Heule,Marijn J.H。 三 曼纽尔·考尔斯 三 Aleksandr Anatol’evich塞梅诺夫 2 马蒂·Järvisalo 2 斯蒂芬·科切马佐夫 2 伊利亚·奥特普申尼科夫。 2 马蒂娜·塞德尔 1 马里兰州Jawaherul Alam。 1 苏海卜·巴里尔 1 迈克尔·贝科斯(Michael A.Bekos)。 1 叶甫根尼娅·根纳德埃夫娜 1 克劳迪娜·朝义亚 1 大卫·丹克斯 1 维达·杜杰莫维奇 1 弗雷德里克·埃伯哈特 1 艾蒂安·法科特 1 马蒂亚斯·弗勒里 1 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。 1 弗罗莱克斯,尼尔斯 1 维杰·加内什 1 吉拉尔德斯·克鲁,杰苏斯 1 伊琳娜·格里巴诺娃 1 马丁·格罗尼曼 1 安蒂·海蒂宁 1 马库斯·伊泽尔 1 汤米·A·琼蒂拉。 1 马蒂·卡帕 1 卡斯基,佩特里 1 丹尼尔·考夫曼 1 本杰明·基尔 1 朱卡·科亨 1 Fabrice Kordon公司 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 埃姆雷·约尔库 1 奥列格·谢尔盖维奇·扎金 1 多龙·泽尔伯格 全部的 前5名10篇连载文章中引用 三 人工智能 2 符号计算杂志 2 系统设计中的形式化方法 1 理论计算机科学 1 国际近似推理杂志 1 SIAM应用动力系统杂志 1 优化信函 1 计算机科学中的逻辑方法 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 DML。离散数学字母 全部的 前5名在9个字段中引用 20 计算机科学(68至XX) 三 组合数学(05-XX) 三 信息与通信理论、电路(94-XX) 2 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 1 有序,格,有序代数结构(06-XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文