普萨托

PSATO:一个用于工作站网络的分布式/并行命题可满足性(SAT)证明器。PSATO基于序列SAT-proversato,它是Davis-Putnam算法的有效实现。通信采用主从模式。一种简单有效的工作负载平衡方法可以在工作站之间分配工作负载。研究空间不相交性的一个关键方法是当前的过程。通过这种方式,我们在不引入冗余搜索的情况下使用并行。


zbMATH中的参考文献(参考文献41条,1标准件)

显示第1到第20个结果,共41个。
按年份排序(引用)
  1. 文森特,瓦莱德;勒弗里奥,卢多维奇;巴力,苏黑卜;索皮娜,朱利安;加内什,维杰;Kordon,Fabrice:并行SAT解决的基于社区和LBD的条款共享策略(2020)
  2. 恩戈科,亚尼克;塞林,克里斯托夫;Denis Trystram:在分布式云中解决SAT:投资组合方法(2019)
  3. 程曦;周敏;宋晓宇;顾明;孙佳光:并行化SMT解决:懒惰分解与调解(2018)
  4. 勒弗里奥,卢多维奇;巴力,苏黑卜;索皮娜,朱利安;Kordon,Fabrice:《无痛:并行SAT解决框架》(2017)
  5. 巴约,汤姆訙;Florian Lonsing:Hordeqbf:模块化大规模并行QBF解算器(2016)
  6. Hyvärinen,Antti E。J、 。;马雷斯科蒂,马蒂奥;Sharygina,Natasha:并行化SMT解算器的搜索空间划分(2015)
  7. 艾哈迈德,坦比尔;奥利弗·库尔曼;斯内维尔,亨特:关于范德瓦尔登数(\mathrmw(2;(2014年)
  8. 基尼恩,迈克尔;贝罗夫,罗伯特;Vojtěchovský,Petr:具有阿贝尔内映射群的循环:自动演绎的应用(2013)
  9. 马丁斯,鲁本;曼奎诺,瓦斯科;林奇,Inès:并行SAT求解概述(2012)
  10. 格布瑟,马丁;考夫曼,本杰明;卡明斯基,罗兰;奥斯特罗夫斯基,马克斯;肖布,托尔斯滕;施耐德,马吕斯:Potasco:波茨坦答案集解决方案集(2011)
  11. Hyvärinen,Antti E。J、 。;朱蒂拉,汤米;Niemelä,Ilkka:随机搜索的搜索空间划分(2011)
  12. Hyvärinen,Antti E。J、 。;朱蒂拉,汤米;Niemelä,Ilkka:为分布式解决划分SAT实例(2010)
  13. 舒尔茨,斯文;Blochinger,Wolfgang:点对点桌面网格上的并行SAT求解(2010)ioport公司
  14. 德格兰德,詹姆斯;肖布,托尔斯滕;汤姆皮茨,汉斯;Woltran,Stefan:在答案集语义下合并逻辑程序(2009)
  15. 埃格斯,安德烈亚斯;卡林尼克,纳塔莉亚;库普费希米德,斯特凡;Teige,Tino:混合动力系统基于约束分析的挑战(2009)
  16. Hyvärinen,Antti E。J、 。;朱蒂拉,汤米;Niemelä,Ilkka:在基于网格的随机化SAT解决中结合从句学习(2009)
  17. 舒伯特,托比亚斯;刘易斯,马修;Becker,Bernd:PaMiraXT:线程和消息传递的并行SAT解决(2009)
  18. 范德斯瓦尔曼,帕斯卡;德昆,吉尔;Kraecki,Michaël:多线程SAT解决方案的协作方法(2009)
  19. 海勒,玛丽安J。H、 。;van Maaren,Hans:使用位级运算的并行SAT求解(2008)
  20. Hyvärinen,Antti E。J、 。;朱蒂拉,汤米;Niemelä,Ilkka:通过随机搜索在网格中求解SAT的策略(2008)