泽塔萨

ZetaSAT–桌面网格上的布尔可满足性求解。ZetaSAT是一项研究工作,旨在在桌面网格上实现高效的并行布尔可满足性(SAT)求解。ZetaSAT是基于桌面网格平台Zeta网格的。我们的工作特别解决了在桌面网格中执行SAT类约束满足问题时出现的具体问题,如动态问题分解、负载平衡、终止检测和特定领域的容错。我们报告了表明我们方法有用性的性能度量。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献7条)

显示结果1到7,共7个。
按年份排序(引用)

  1. 你好,汤姆áš; 桑德斯,彼得;Sinz,Carsten:Hordsat:大规模平行投资组合SAT解算器(2015)
  2. 马丁斯,鲁本;曼奎诺,瓦斯科;林奇,印第安纳州ês: 并行SAT求解综述(2012)
  3. 舒尔茨,斯文;Blochinger,Wolfgang:点对点桌面网格上的并行SAT求解(2010)ioport公司
  4. 舒尔茨,斯文;布洛钦格,沃尔夫冈;Poths,Mathias:Orbweb—基于开放标准的对等桌面网格计算的网络底层(2010)ioport公司
  5. Hyv公司ä里宁,安蒂E。J、 。;朱蒂拉,汤米;尼美尔ä, Ilkka:用随机搜索在网格中求解SAT的策略(2008)
  6. 基拉巴,瓦希德;Wolski,Rich:GridSAT:计算网格应用程序的设计与实现(2006)
  7. 基拉巴,瓦希德;Wolski,Rich:GridSAT:计算网格应用程序的设计与实现(2006)ioport公司