×

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 多龙·泽尔伯格

按年份列出的引文