PaMiraXT公司 swMATH ID: 6997 软件作者: 舒伯特、托比亚斯;马修·刘易斯;贝恩德·贝克尔 描述: PaMirXT:线程和消息传递的并行SAT求解。本文介绍了PaMiraXT,一种强大的并行SAT算法。PaMiraXT遵循基于消息传递的主/客户端模型,使其适用于任何类型的工作站集群。对于客户端,使用MiraXT,它本身是基于线程的并行解算器,旨在利用当前和未来的共享内存多处理器系统。我们重点介绍了允许线程/客户端高效运行和协作的设计和实现细节。实验结果表明,MiraXT与其他最先进的SAT算法相比表现良好。在单线程模式下,它的性能优于MiniSat2、PicoSAT 535和RSat 2.01,而在多线程模式下,MiraXT提供了最先进的性能,因为它在给定的时间限制内解决了更多的实例。一个案例研究使用了三个MiraXT副本,共有8个线程作为客户,强调了PaMiraXT的潜力,使2007年SAT竞赛的行业基准加速5.62。 主页: http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_10_Schubert.pdf 相关软件: ManySAT公司;玲玲;超小卫星;弯曲;糠;SATO公司;巴基斯坦国家税务局;磁粉探伤;网格卫星;HordeSat公司;Treengeling公司;彗星;安托姆;c-sat卫星;齐塔卫星;PMSat公司;PrecoSAT公司;PicoSAT卫星;帕奎贝;Berk最小值 引用于: 11文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 PaMirXT:线程和消息传递的并行SAT求解。 Zbl 1190.68057号托拜厄斯·舒伯特;马修·刘易斯;贝恩德·贝克尔 2009 全部的 前5名34位作者引用 三 贝恩德·贝克尔 2 马修·刘易斯。 2 托拜厄斯·舒伯特 2 Aleksandr Anatol’evich塞梅诺夫 1 萨尔瓦多阿布雷乌 1 坦比尔·艾哈迈德 1 伯查德,简 1 伊夫·卡尼奥 1 菲利普·科多涅特 1 亚历山大·祖特罗 1 丹尼尔·迪亚兹 1 彼得·恩格尔克 1 伊恩·菲利普 1 安蒂·E·J·海瓦·里宁。 1 艾格纳特·埃夫。 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 汤米·A·琼蒂拉。 1 奥利弗·库尔曼 1 林奇,因斯 1 Vasco M.Manquinho。 1 鲁本·马丁斯 1 Ciaran McCreesh 1 伊恩·米格尔 1 尼尔·C·A·摩尔。 1 Niemelä,Ilkka N.F。 1 Peter W.南丁格尔。 1 伊利亚州波利安 1 帕特里克·普洛瑟 1 Sudhakar M.雷迪。 1 弗洛里安·里查克斯 1 彼得·桑德斯 1 多米尼克·施赖伯 1 亨特·S·斯内维(Hunter S.Snevily)。 1 不值得,克里斯 全部的 前5名7篇连载文章中引用 2 约束条件 1 离散应用数学 1 国际并行程序设计杂志 1 计算机基础理论 1 逻辑程序设计理论与实践 1 可满足性、布尔建模与计算杂志 1 Prikladnaya Diskretnaya Matematika公司 在5个字段中引用 9 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文