• 网状部分

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

• CVRPSEP公司

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

• 奎特拉布

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

• 康林

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

• 臀部

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

• 霍姆帕克90

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

• 吉咪

• 引用了45篇文章[sw10494]
• 研究结果）。这些结果通常分别地但是，在很多情况下，关节。。。

• 网络图

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

• 卡特尔

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

• 咖喱

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

• 模数

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

• 二级诉讼

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

• 帕洛格

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

• 苏格

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

• 疯狂的

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

• 克米诺

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

• 电容器

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

• 三峡工程

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

• 克莱尔

• 在34篇文章中引用[sw02583]
• 命令（功能）语言。尽管这些范例分别地众所周知，可在各种。。。

• MR和LTV合成工具

• 在34篇文章中引用[sw05190]
• 使用：Mathworks LMI工具箱（购买分别地)或xLMI（免费，以下提供）。只是。。。