PaInleSS公司 swMATH ID: 21967 软件作者: 勒弗里克斯,卢多维奇;苏海卜·巴里尔;朱利安·索佩纳;Fabrice Kordon公司 描述: 无痛:并行SAT解决的框架。在过去的十年中,并行SAT求解从理论和实践两个方面得到了广泛的研究。现在有许多不同于并行化策略、编程语言、并发编程、相关库等的解算器c.{par}因此比较理论方法的效率是一项具有挑战性的任务。此外,引入一种新的方法需要深入了解现有的解算器,或者从头开始实现一种新方法l.{par}我们介绍PaInleSS:一个为多核环境构建并行SAT解算器的框架。由于其通用性和模块性,它提供了并行SAT解决的基本实现,如子句交换、组合和分而治之策略。它还允许用户根据新策略轻松创建自己的并行解算器。我们的实验表明,我们的框架与一些最先进的解算器进行了比较。 主页: https://link.springer.com/chapter/10.1007%2F978-3-319-66263-3_15 关键词: 平行;可满足性;条款共享;文件夹;立方体和征服 相关软件: ManySAT公司;弯曲;Treengeling公司;玲玲;钙DiCaL;巴基斯坦国家税务局;HordeSat卫星;YalSAT卫星;帕拉库巴;基萨特;超小卫星;斯普拉茨;协处理器;MapleCOMSPS公司;糠;别名;污水处理厂;I图形/M;葡萄糖;CDCLSym公司 引用于: 10文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 无痛:并行SAT解决框架勒弗里克斯,卢多维奇;苏海卜·巴里尔;朱利安·索佩纳;Fabrice Kordon公司 2017 全部的 前5名25位作者引用 三 苏海卜·巴里尔 2 维杰·加内什 2 斯蒂芬·科切马佐夫 2 朱利安·索佩纳 2 文森特·瓦拉德 2 奥列格·谢尔盖维奇·扎金 1 E.A.德加切夫。 1 弗罗莱克斯,尼尔斯 1 Heule,Marijn J.H。 1 井上,胜美 1 马库斯·伊泽尔 1 马蒂·Järvisalo 1 阿尼萨·凯里丁 1 Fabrice Kordon公司 1 卢多维奇·勒弗里克斯 1 希德托莫·纳贝希玛 1 赛义德·内贾蒂 1 Neopryatnaya,A.M。 1 伊利亚·奥特普申尼科夫。 1 艾蒂安·雷诺 1 彼得·桑德斯 1 多米尼克·施赖伯 1 塞梅诺夫,亚历山大·阿纳托尔耶维奇 1 马丁·苏达 1 沃罗诺夫(Vsevolod Aleksandrovich) 3篇连载文章中引用 1 人工智能 1 离散数学 1 约束条件 在3个字段中引用 7 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 按年份列出的引文