• 自由女神

  • 3篇参考文献[SW1255]
  • 计数单项。作者展示了如何枚举 技法从计算交换代数可以应用…把问题减少到枚举单项集。然后,这个枚举
  • 卡斯科

  • 2篇参考文献[SW32518]
  • 采用一种新的基于约束的视图枚举 技法来自查询工作负载的地雷约束…图形模式,并在视图中注入它们枚举显著减少搜索空间…
  • MCAIT

  • 2篇参考文献[SW09447 ]
  • 也支持经典隐式路径枚举 技法(IPET)结合最坏情况共享资源…
  • 塔巴里斯

  • 16篇参考文献[ SW02534 ]
  • 图中的最大独立集技法在图中寻找独立的…提出了。它由一个隐含的枚举程序采用不同阶段的界限…
  • BS3NP

  • 7篇参考文献[SW25701]
  • 枚举关于双对称3-非交叉划分。关于一般RSK对应的S.U.Zeer-Beer-GER定理…技法二维摇摆晶格行走的{SC槭}包的研制枚举问题。。。
  • 霍姆杰

  • 0篇参考文献[SW23 767 ]
  • 包括几个基于搜索的软件工程技法枚举搜索和随机搜索。HOMAJ的设计…HOMAJ评估实施技法
  • 康加尔2

  • 4篇参考文献[SW22084]
  • 枚举扩展或检查参数接受)利用众所周知的优势技法作为局部一致性…
  • 摩卡

  • 3篇参考文献[SW08569]
  • 使用邻接的第一搜索启发式算法枚举可行解的一个子集。我们提出…启发式和提供计算支持我们的证据技法. 我们实现了我们所有的算法…
  • 通过

  • 6篇参考文献[SW21858]
  • 本文说明了一种新的技法使用参数化数组作为主要数据…更快。我们的方法不需要枚举字符串长度(以位向量为基础的方法)
  • TSAT++

  • 3篇参考文献[SW21350]
  • 解决SMT问题。模块化允许两种不同枚举器满足不同理论(或组合)的可满足性检验。定义良好的接口。若干优化技法也在TSAT++中实现,它…
  • 工兵

  • 5篇参考文献[SW18894]
  • 应用,例如计算生物学,新的软件工程技法,社交网络等,更多的数据…生成树与精心设计的图枚举排序真实数据和合成数据集…
  • 卡莱多

  • 8篇参考文献[SW05940]
  • 以下简称[CLM])提供了完整的枚举关于均匀多面体,连同…这是可以直接处理的。相似的技法治疗双多面体,这是…
  • 4篇参考文献[SW21857 ]
  • 输入约束,特别是与其他当代相比技法. 我们的方法执行明确的搜索…我们懒惰搜索空间的证据枚举占大多数的利益…
  • MOPP

  • 1篇参考文献[SW01090]
  • 已经开发了许多算法-包括枚举可行的生产序列,替代的任务选择…利用问题分解的中期生产技法带约束整数线性规划。算法…
  • 可可

  • 595篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

  • 2662篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…