软件搜索-zbMATH Open

PaMiraXT公司

swMATH编号：	6997
软件作者：	舒伯特，托拜厄斯；马修·刘易斯；贝恩德·贝克尔
描述：	PaMiraXT：使用线程和消息传递进行并行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公司;预科学卫星;PicoSAT卫星;帕奎贝;伯克明州
引用于：	11文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
PaMirXT：线程和消息传递的并行SAT求解。 Zbl 1190.68057号托拜厄斯·舒伯特;马修·刘易斯;贝恩德·贝克尔	2009

三	贝恩德·贝克尔
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	不值得，克里斯

2	约束条件
1	离散应用数学
1	国际并行程序设计杂志
1	计算机基础理论
1	逻辑程序设计理论与实践
1	可满足性、布尔建模与计算杂志
1	Prikladnaya Diskretnaya Matematika公司