• 吸血鬼

  • 在229篇文章中引用[sw02918]
  • 删除(可选模交换性)、包容分辨率,按顺序重写单元平局,轻量级的基础。。。
  • 猛虎

  • 引用了40篇文章[sw11689]
  • LTUR:简化的线性时间单元 分辨率喇叭公式的算法及计算机实现。正在测试。。。
  • 达尔文

  • 引用24篇文章[sw04175]
  • 类似于单元 分辨率以及由单元条款。保留。。。
  • 最大解算器

  • 引用了20篇文章[sw01990]
  • 单元传播或单元 分辨率max-SAT的规则。我们总结了三个现有的规则单元传播。。。
  • 命题解决

  • 1条引用[sw28841]
  • 消极的分辨率,语义分辨率单元 分辨率(后一种改进仅适用于子句。。。
  • 闪电战

  • 引用15篇文章[sw21346]
  • 闪电战是第一要务,分辨率基于定理证明器,这是写。。。沃尔德迈斯特),而这个证明人只能处理单元平等。所以这似乎是个好主意。。。
  • 普莱比

  • 1条引用[sw25429]
  • 本文介绍单元从句派生自决议当需要构建语义时。。。
  • 食腐动物

  • 引用2篇文章[sw23945]
  • 受限制的分辨率相似的推理规则(的一阶推广)单元传播也是。。。
  • OptFROG公司

  • 1条引用[sw29893]
  • 提出了。Gabor的不确定性原理阻止了这两者决议在给定的情况下同时是最优的。。。表示每个单元时间和频率相似。。。
  • 获取关键数据

  • 在0篇文章中引用【sw18482】
  • 东安格利亚进口大学气候研究单位(CRU)CL2.0气候学数据输入R,方便。。。10弧秒时的区域(不包括南极洲)分辨率. 有关详细信息,请参阅说明。。。东安格利亚大学气候研究单位,....
  • 打开PSTD

  • 引用2篇文章[sw22130]
  • 同时保持所需的空间和时间分辨率粗糙的。在实施过程中。。。图形处理代码单位(GPU),可将吞吐量提高多达15。。。
  • 谢尔特

  • 1条引用[sw15296]
  • 数据被考虑在内分辨率必要时延长。所有空间组。。。连通性并以最佳方式集中在单元手机。谢尔特已经解决了几千个建筑。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 差距

  • 引用了2702篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 高铁

  • 引用260篇文章[sw00418]
  • HSL(以前的哈韦尔子程序库)是一个。。。