• 奎特拉布

• 引用57篇文章[sw20493]
• 包含不断增长的目录可分性标准，正地图，和相关的功能感兴趣。。。

• 网状部分

• 引用了55篇文章[sw04178]
• 生成递归多路分区、顶点的例程分离器，以及嵌套的解剖顺序。。。

• CVRPSEP公司

• 在38篇文章中引用[sw11809]
• 用C语言编写，用于分离在树枝上的各种切口。。。数学规划-见出版物）。包中包含分离四舍五入容量不等式，齐次多星。。。

• 吉咪

• 引用49篇文章[sw10494]
• 研究结果）。这些结果通常分别地分析；然而，在很多情况下，一个关节。。。

• 网络图

• 引用48篇文章[sw30097]
• Facebook只有四度分离. 一个完整的，有文档记录的算法实现。。。

• 臀部

• 27条引用[sw09786]
• 堆操作程序。臀部是分离基于逻辑的自动验证系统。。。方法/循环，HIP将构造一组分离逻辑证明义务的形式。。。给圆滑的暗示分离逻辑校准器。SLEEK是全自动的。。。校准器分离具有帧推断能力的逻辑。。。

• 康林

• 引用47篇文章[sw14151]
• 结构。显式子问题是凸的和可分离的它们可以被有效地解决。。。

• 霍姆帕克90

• 引用了45篇文章[sw00412号文件]
• 跟踪同伦零曲线，以及分离稠密和稀疏雅可比矩阵的例程。。。

• 卡特尔

• 引用44篇文章[sw09025]
• 必修的。一套特别设计的分离进行了效果实验和分析。考虑到。。。

• 咖喱

• 引用42篇文章[sw08981]
• 结合当前分开的函数和逻辑编程社区的研究工作。。。

• 多面体

• 引用41篇文章[sw07629]
• 分析程序和优化算法是分开的从具体的拓扑优化选择。。。

• 苏格

• 引用28篇文章[sw08373]
• 许多科技领域分离化学种类。电泳传输的模拟与模拟。。。电泳过程中产生的物理化学过程分居以及各种参数的优化。。。

• 模数

• 在39篇文章中引用[sw01072]
• 随着温度或位移，或分别地. 有限元库包含。。。

• 诽谤2

• 在39篇文章中引用[sw01230]
• 自伴Sturm-Liouville问题分开的和耦合边界条件，以及近似。。。

• 帕洛格

• 在39篇文章中引用[sw23764号]
• 有效实施的原因分离与-并行和或并行计算。帕洛格。。。

• 三峡工程

• 在38篇文章中引用[sw07921]
• 线性模型，CART，treed线性模型，静态可分离的和各向同性GPs和GP单指数。。。

• 拉戈

• 引用25篇文章[sw02040]
• 块的分支和剪切解算器-可分离的不一定是凸的。这个算法被说明。。。非凸块的LaGO分支和切割-可分离的在没有代数公式的情况下。。。

• 疯狂的

• 引用25篇文章[sw12534]
• 这个MATLAB实现的特点是分离导数向量的线性组合。。。变成一个分离导数向量类。这允许直接的性能优化。。。

• 克米诺

• 引用19篇文章[sw09739]
• 分离小步进cminor的逻辑。cminor是一种中级命令式编程语言；在那里。。。我们设计了一个分离cminor的逻辑。在本文中。。。机器检查证明分离逻辑。这是第一次大规模。。。机器检查证明分离逻辑w.r.t.一个小步骤的语义学。介绍的作品。。。

• 电容器

• 引用了35篇文章[sw04946]
• 一次生成所有边或分开的对于每个模型参数。作为一个模块。。。