• Z-树

  • 引用572篇文章[sw11707]
  • 表示,允许正常的 形式游戏,广泛形式游戏,双重拍卖。。。
  • 材料控制

  • 引用343篇文章[sw00551]
  • 互动环境正常的 形式动力系统分析。。。扩展系统,以及正常的 形式极限环的分岔系数。。。
  • 吸血鬼

  • 在233篇文章中引用[sw02918]
  • 仅适用于条款制度正常的 形式接受一个完整的问题。。。
  • Walksat公司

  • 参考文献205篇[sw04328]
  • 已经转换成,连词正常的 形式. 他们开始分配一个随机值。。。
  • JBool公司

  • 参考101篇文章[sw06185]
  • 由联合定义的布尔函数正常的 形式(小句)或不相干的。布尔函数。。。
  • 程序NLMIXED

  • 引用了55篇文章[sw11039]
  • 随机效应)有标准的形式(正常的,二项式,泊松)或一般分布。。。
  • 同源性

  • 引用了30篇文章[sw04871]
  • 基于有效Smith的单纯形同调正常的 形式拓扑空间几何性质的算法。。。史密斯的计算正常 形式通常稀疏的边界矩阵。。。史密斯的计算正常 形式比较它们的稀疏矩阵的运行时间。。。
  • 珍妮特

  • 引用了35篇文章[sw07776]
  • 实现以计算Jacobson正常的 形式一个矩阵中有一个条目。。。
  • 单位步行

  • 在34篇文章中引用[sw00993]
  • 合取中的布尔公式问题正常的 形式. 尽管它很简单,这个算法表现得很好。。。
  • 德普QBF

  • 引用31篇文章[sw09734]
  • prenex合取中的布尔公式(QBF)正常的 形式. 它基于DPLL算法。。。
  • 科梅特

  • 引用13篇文章[sw28720]
  • 不同定义翻译的价值正常的 形式. 在本文中,我们比较了不同的正常的...形式从实用的角度看翻译。一个封闭的。。。析取式的一阶公式正常的 形式有严重的缺点,即干扰。。。长度的增加正常的 形式. 在翻译中,首选实现。。。
  • 色域

  • 引用16条[sw30178]
  • 算法需要正常的-形式游戏作为输入。不要和色域混淆。。。有限可拓与的分析正常的 形式游戏。色域是用来。。。
  • 调酒师

  • 参考22篇文章[sw07827]
  • 以下:减少表达和正常的 形式计算;Bruhat序;普通Kazhdan-Lusztig多项式;Kazhdan-Lusztig。。。
  • 预卫星

  • 引用18条[sw07832]
  • 命题合取公式正常的 形式(CNF)。可满足性手册提供了一个极好的概述。。。
  • 尼诺菲克斯

  • 引用18条[sw09579]
  • 求反中的量化布尔公式(QBF)正常的 形式(NNF),它依赖于扩张。。。
  • 弗洛特

  • 引用16条[sw29685]
  • FLOTTER和SPASS是一个从句正常的 形式一阶逻辑转换器。。。
  • 数据发生器

  • 引用15篇文章[sw09904]
  • 微积分推断约化,分类推理,正常的 形式,用等式子集进行最小排序。。。
  • 竖琴

  • 引用15篇文章[sw26323]
  • 避免转换为任何类型的正常的 形式,并结合了验证冷凝程序和。。。
  • 电子数据交换

  • 引用9篇文章[sw08560]
  • 史密斯对角线条目正常的 形式). 程序已经开发并成功使用。。。行列式)和一些正常的 形式Havas,Majewski,Matthews,Sterling(使用。。。