• 斯内帕

  • 引用151篇文章[sw06873]
  • 缩微胶片补充。类似于枚举结和链环,每个流形是给定的。。。描述了枚举已经执行了。从组合上来说。。。
  • 算盘

  • 参考文献115篇[sw02948]
  • 算法概念,例如枚举和分支策略,从中最好的。。。
  • 拿铁

  • 引用110篇文章[sw04654]
  • 拿铁(点阵点枚举)是一个计算机软件专用于计算点阵的问题。。。
  • 触须

  • 参考文献62篇[sw00672]
  • 包含顶点和方面的例程枚举,入射角和对称性的计算,以及。。。专门用于反射多面体,如枚举自反子多面体及其在复曲面中的应用。。。顶点和面例程枚举与现有的软件包相比。。。
  • C模型

  • 引用66篇文章[SW045号]
  • 作为搜索引擎的解算器枚举逻辑程序模型——可能的解决方案。。。这样一个程序的集合可以是列举通过SAT解算器。另一方面。。。
  • 奥斯卡

  • 引用44篇文章[sw26328]
  • 可推翻的推理机通常不会递归可枚举一个基于一个富有的。。。就像一个传统的定理证明者列举有根据的结论。另一个标准。。。
  • TOPCOM公司

  • 引用57篇文章[sw04867]
  • 三角剖分翻转图的组成部分,列举所有的三角剖分。实现的核心算法。。。
  • 数学卫星

  • 在56篇文章中引用[sw09449]
  • 特别:模型生成(用于反例重建)、模型枚举(用于谓词抽象),一个增量接口。。。
  • BKZ公司

  • 引用52篇文章[sw10242]
  • 然而,最近格点的研究进展枚举建议BKZ及其NTL实施。。。
  • 里贾纳

  • 引用32篇文章[sw04862]
  • 绑定,还支持角度结构,人口普查枚举,三角剖分的组合识别,以及高级。。。缓和法向曲面瓶颈的算法枚举,3球识别的现代实现。。。
  • 克拉

  • 引用了43篇文章[sw04293]
  • 克拉是一个电脑包,可以处理枚举结晶学之建构、识别与比较问题。。。
  • 查找器

  • 引用了40篇文章[sw06376]
  • 有限域枚举器. 这是一个有限域CSP解算器,在什么。。。
  • DEMiCs公司

  • 引用21篇文章[sw00196]
  • 一般半混合多项式系统枚举所有的混合细胞。潜在的混合。。。构建动态枚举找到所有混合细胞的树。动态枚举方法。。。
  • 辛烷值

  • 引用23条[sw19782]
  • 程序,它通过枚举八面体的扩展面,外部。。。给出有效的算法来实现枚举,然后我们解释我们的启发式。。。
  • 墨菲

  • 引用16条[sw22149]
  • 程序员熟悉的数据类型(子范围,列举类型、数组和记录),以及更多。。。基于显式状态的验证器枚举,可以作为深度。。。
  • 威尔夫

  • 引用15篇文章[sw11643]
  • 枚举方案,更重要的是,它们的自动生成。恕我直言威尔夫班。。。枚举即使对组合数学来说,本文的重点也不是要增强。。。
  • 草本植物

  • 引用15篇文章[sw11644]
  • 自动发现(分别严格地和经验地)枚举用禁止模式计数置换的方案。。。类)。他们和多伦·齐尔伯格的论文一起枚举方案,更重要的是,它们的自动生成。。。
  • 双叶树

  • 引用了20篇文章[sw14282]
  • 二叉树。本文认为枚举指避免相邻的树木。我们提供。。。
  • OPBDP公司

  • 引用13篇文章[sw05036]
  • 基于Davis-Putnam的约束多项式(C++)枚举线性伪布尔优化算法。。。基于Davis-Putnam的约束多项式(C++)枚举线性伪布尔优化算法。。。
  • 偶氮

  • 参考12篇文章[sw04634]
  • 问题引发以下任务:计数或列举找到一个可行的解决方案并找到一个最优的。。。它是一种计数和枚举$0/1$点。基准的计算结果来自。。。