• 算法797

  • 引用5篇文章[sw13176]
  • 平面化)使用贪婪随机自适应搜索 程序(抓住)。设计和实现。。。
  • 马特达

  • 引用5篇文章[sw07769]
  • 选择、学习、抽样和本地搜索 程序. 其他包含的方法允许分析。。。
  • 配子

  • 在34篇文章中引用[sw03002]
  • 程序. 核梯度可用于自动几何优化,过渡状态搜索,或反应路径。。。
  • 达尔文

  • 引用24篇文章[sw04175]
  • 模型演化演算提升了命题DPLL程序一阶逻辑。。。非常有效搜索SAT社区为DPLL开发的技术程序. 当前。。。
  • 引用4篇文章[sw11992]
  • 没有标签的桌子很酷搜索 程序使用全局缓存。添加了具体的逻辑。。。
  • 萨特格拉夫

  • 引用4篇文章[sw14761]
  • 分支启发式,因此CDCL搜索 程序高度集中,即VSID不成比例地选择。。。
  • 肩带

  • 引用4篇文章[sw13305]
  • 类型。第二,我们实现了一个证明搜索 程序,基于一个集中的顺序演算。。。
  • 液化石油气

  • 参考第12条[sw20690]
  • Walksat,一个高效的程序解决SAT问题。这个搜索液化石油气的空间包括。。。
  • OPTEX公司

  • 引用3篇文章[sw11547]
  • OPTEX公司程序 搜索优化实验设计。指定一组候选设计点。。。线性模型,以及程序选择点以便模型中的项。。。
  • 算法815

  • 引用3篇文章[sw13170号]
  • 图的贪婪随机自适应搜索 程序(抓住)。包的实现和使用。。。
  • 达尔文

  • 引用3篇文章[sw02144]
  • 搜索 程序是基于达尔文的自然选择和生存理论。初始人口。。。
  • ModLeanTAP公司

  • 引用18条[sw12368]
  • 包括额外的搜索空间限制和公平策略,给出决策程序对于逻辑。。。
  • 流星

  • 引用16条[sw26327]
  • 分辨率程序不是最好的分辨率格式做非常大的无导向搜索这样。。。减少冗余的包容和类似装置搜索. 然而,逻辑程序设计的研究。。。基于线性输入分辨率程序. 尤其是WAM架构。。。
  • 萨尔萨

  • 引用了30篇文章[sw02661]
  • 专门指定(本地、全局或混合)搜索算法。我们举例说明。。。我们为其指定复杂优化的优化程序用几行简单的代码。。。
  • 梅菲斯托

  • 引用2篇文章[sw01082]
  • 运输,我们提供一个专门的本地搜索 程序. 在基准测试和真实世界的总结结果。。。
  • 塔格斯特

  • 引用2篇文章[sw11869]
  • 修改标记SNP选择程序Carlson等人。为了提高选择效率。。。加速穷尽标签SNP搜索提出的算法。。。使用我们修改过的搜索 程序. 我们用重新排序的候选基因数据评估这些方法。。。
  • 根民

  • 引用2篇文章[sw10451]
  • 算法与局部搜索 程序. 我们列出了数值实验的结果。。。
  • libcgrpp公司

  • 引用2篇文章[sw07205]
  • 连续贪婪随机自适应搜索 程序(C-grap)用于有界约束全局优化。C-抓。。。
  • 克里普克

  • 引用8篇文章[sw01162]
  • 适当的词汇)决定程序对于每一个逻辑都描述了递归。。。从证明中构造-搜索它将包含一个子树。。。黑夜。但是在实践中这个决定程序往往是不可能的。。。指数率证明搜索一棵树通常会生长。因此。。。