斯皮奥

SPS并行性+ Setho=SPOTHO。本文描述了并行自动定理证明器SPHEOO,一阶一阶定理证明器Setho的并行化。并行化是基于SPS模型(静态分区与松弛)并行搜索,最小化处理器到处理器通信的方法。该模型允许对具有弱通信性能的硬件进行有效的计算,例如工作站网络。SPSeO提供了两种或独立和并行的利用。本文对OR并联部分进行了详细的描述和评价。


ZBMaX中的参考文献(4篇)2篇标准文章

显示结果1至4的4。
按年份排序(引文

  1. 阿米尔,Eyal;麦基拉斯,希拉:一阶和命题理论的基于划分的逻辑推理(2005)
  2. 新生,蒙蒂;王,Zongyan:章鱼:结合学习和平行搜索(2004)
  3. 萨特纳,Christian B.:SPS并行性+ Setho=SPTHOO(1999)
  4. 萨特纳,Christian B.:一个平行定理证明器。(1997)伊波尔特