软件搜索-zbMATH开放

PaInleSS公司

swMATH ID:	21967
软件作者：	勒弗里克斯，卢多维奇；苏海卜·巴里尔；朱利安·索佩纳；Fabrice Kordon公司
描述：	无痛：并行SAT解决的框架。在过去的十年中，并行SAT求解从理论和实践两个方面得到了广泛的研究。现在有许多不同于并行化策略、编程语言、并发编程、相关库等的解算器c.{par}因此比较理论方法的效率是一项具有挑战性的任务。此外，引入一种新的方法需要深入了解现有的解算器，或者从头开始实现一种新方法l.{par}我们介绍PaInleSS：一个为多核环境构建并行SAT解算器的框架。由于其通用性和模块性，它提供了并行SAT解决的基础实现，如子句交换、组合和分治策略。它还允许用户根据新策略轻松创建自己的并行解算器。我们的实验表明，我们的框架与一些最先进的解算器进行了比较。
主页：	https://link.springer.com/章节/10.1007%2F978-3-319-66263-3_15
关键词：	平行;可满足性;条款共享;文件夹;立方体和征服
相关软件：	ManySAT公司;弯曲;Treengeling公司;玲玲;CaDiCaL公司;精神分裂症;HordeSat卫星;YalSAT卫星;帕拉库巴;基萨特;超小卫星;斯普拉茨;MapleCOMSPS公司;协处理器;糠;别名;污水处理厂;I图形/M;葡萄糖;CDCLSym公司
引用于：	10文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
无痛：并行SAT解决框架勒弗里克斯，卢多维奇；苏海卜·巴里尔；朱利安·索佩纳；Fabrice Kordon公司	2017

三	苏海卜·巴里尔
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	Aleksandr Anatol’evich塞梅诺夫
1	马丁·苏达
1	沃罗诺夫（Vsevolod Aleksandrovich）