• 奥伊斯

  • 3083篇参考文献[SW07248]
  • “需要的步骤数”分选“列表合并”,一个众所周知的算法。条目…
  • CGAL

  • 320篇参考文献[SW0118]
  • 库提供几何对象生成器和空间分选函数,以及矩阵搜索…
  • 快速排序

  • 132篇参考文献[SW20694]
  • 其中最快的通用分选可用的算法,由选择证明…Quicksort作为默认分选大多数编程库中的算法。一些分选算法是自适应的…更好的输入,几乎是排序的,根据一些预先指定的量度。Quicksort…甚至比较排序的输入。然而,在本文中,我们经验证明,实际…
  • Obj3

  • 137篇参考文献[SW05370]
  • 基于订单的规范与证明系统排序的等式逻辑它已经成功地使用了…
  • 埃莱特

  • 115篇参考文献[SW0971]
  • 三个主要问题:选择、排序和分选. 第四部分介绍了近期的发展情况。
  • 图像网

  • 69篇参考文献[SW21105]
  • 将提供数以千万计的清洁排序的大多数概念的图像…
  • 斯利克

  • 48篇参考文献[SW11759]
  • 分类属性。它使用了一个新的预分选林木生长阶段的技术。分选程序集成与广度优先树生长策略,使分类…
  • SMS-EMOA

  • 60篇参考文献[SW11894]
  • 结合非支配概念分选. 算法的种群进化…
  • MPTP 0.2

  • 43篇参考文献[SW02589]
  • 扩展术语依赖的扩展TPTP语法种类抽象的(弗兰克尔)术语TPTP…使用相对化的标准TPTP语法种类抽象名词的去匿名化。完整的MIZAR证明…
  • 作为307

  • 55篇参考文献[SW14162]
  • 时间,通过将几何性质与某些分选更新机制。两种类型的深度…
  • 4EMKA2

  • 51篇参考文献[SW16168]
  • 该系统是多准则的解决方案。分选问题。系统可用于许多…
  • 戴康

  • 41篇参考文献[SW04319]
  • 遏制美元(X在Y)$,SouthDead($x$)排序的等等。用户可以扩展Daikon…
  • 推力

  • 38篇参考文献[SW09618]
  • 数据并行原语,如扫描,排序减少,可以组合在一起…
  • 前置FDIS

  • 21篇参考文献[SW130]
  • PREFDIS:一个多准则决策支持系统分选决策问题。本文遵循方法论的观点。多准则决策支持系统研究分选决策问题。主要特点…交互式强效用实用模型的开发排序一套可供选择的…尽可能准确,基于不同分选技法此外,该系统提供了丰富的偏好建模…
  • 姆巴斯

  • 17篇参考文献[SW0824]
  • 通过开发一种方法来证明这种方法。排序的具有依赖关系的记录-α-演算种类“数学白话”是A的延伸排序的记录、依赖记录的La-演算种类选择种类
  • TVLA

  • 31篇参考文献[ SW0988]
  • 验证几个部分的正确性分选程序