• 达尔文

  • 引用25篇文章[sw04175]
  • 模型演化演算提升命题DPLL公司一阶逻辑程序。。。由SAT社区为DPLL公司程序。达尔文的当前版本实现了。。。
  • 曼萨特

  • 引用32篇文章[sw00544]
  • 通过仔细修改标准获得DPLL公司算法。另外,每个顺序算法共享子句。。。
  • 德普QBF

  • 引用31篇文章[sw09734]
  • 正常形式。它基于DPLL公司冲突驱动子句的QBF算法。。。
  • 尼弗

  • 引用18条[sw06958号]
  • 复杂性。为了解决这个问题,回溯DPLL公司程序[{it M.Davis},{it G.Logemann。。。然后用DPLL公司SAT解算器。尼弗是一个严格的公式。。。
  • 希萨特

  • 引用23条[sw01980]
  • 系统,包括DPLL公司-基于伪布尔SAT解算器。。。
  • 最大解算器

  • 引用了20篇文章[sw01990]
  • 戴维斯-普特南-洛格曼-洛夫兰程序(DPLL公司)是最具竞争力的精确算法之一。。。
  • 硅藻土

  • 引用9篇文章[sw02001]
  • 有效实施DPLL公司(T) 框架[Ganzingeretal2004CAV,Nieuwenhuisetal2005LPAR]。ADPLL公司(T) 系统包括。。。一般的DPLL公司(十) 引擎,本质上非常类似于SAT解算器,其参数。。。理论求解器DPLL公司(十) 引擎已经实现,这种方法。。。
  • DPvis公司

  • 参考7篇文章[sw00219]
  • 的实例和运行DPLL公司(Davis Putnam Logemann Loveland)程序。DPvis使用高级图形。。。典型的DPLL公司快跑。除了实现一个简单的变体。。。DPLL公司算法本身,DPvis还具有一个接口,MiniSAT,一个状态。。。DPLL公司实施。使用这个界面,可以可视化MiniSAT的运行——包括生成的搜索。。。
  • 数学检查

  • 引用9篇文章[sw13642]
  • 输入猜想(就像DPLL公司(T) )。此外,这种组合使。。。
  • 山猫

  • 引用9篇文章[sw13643]
  • 文学和DPLL公司(T) ,以前没有提供过。。。
  • kcnfs公司

  • 引用8篇文章[sw00484]
  • kcnfs是一个dpll公司基于解算器。kcnfs集成了一个分支变量启发式,基本上。。。
  • 清亭1

  • 参考7篇文章[sw04452]
  • 搜索和其他最先进的技术DPLL公司-基于SAT解算器。结果比较显示。。。
  • QMiraXT公司

  • 参考第4条[sw11456]
  • QMiraXT-一个多线程QBF解算器。迪泽DPLL公司这样的基本解决方案是在多。。。
  • 萨图克

  • 参考第4条[sw18570]
  • 易于扩展。除了标准DPLL公司[1] 算法与子句学习求解器。。。
  • 伊莎福

  • 参考第4条[sw19193]
  • 地面和一级结石,如DPLL公司、CDCL和分辨率。我们的灵感之一。。。