纳格卫星

NAGSAT:一个随机的、完整的、并行的3-SAT解算器。这个扩展的摘要描述了一个3-SAT解算器NAGSAT,它利用了nagging,一种新的可扩展、容错、分布式搜索范式。Nagging利用3-SAT解算时间的重尾分布,将问题或部分问题的多个重新表述相互对立。从文献资料中可以看出,人工智能已经被广泛应用到各种智能体系结构中。在这篇摘要中,我们展示了使用DPLL算法解决3-SAT实例的初步结果,并概述了我们当前改进nagsat的一些eort。

此软件的关键字

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


zbMATH参考文献(参考 4篇文章 参考)

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

  1. Martins,Ruben;Manquinho,Vasco;Lynce,Inès:并行SAT解决概述(2012)
  2. Yang,Shouxi;Segre,Alberto Maria;Codenotti,Bruno:最优多处理器组合拍卖求解器(2009)
  3. Chrabakh,Wahid;Wolski,Rich:GridSAT:计算网格应用程序的设计和实现(2006)
  4. Chrabakh,Wahid;Wolski,Rich:GridSAT:计算网格应用程序的设计和实现(2006)ioport公司