• QEPCAD公司

• 引用了275篇文章[sw00752]
• 凯德。QEPCAD是量词 消除通过部分圆柱代数分解，由于原始。。。

• 发现者

• 引用了40篇文章[sw07719]
• 方程和多项式不等式。算法量词 消除真正封闭的领域是一般的。。。

• 凯玛拉

• 在39篇文章中引用[sw03709]
• 实数运算，我们积分实数量词 消除遵循迭代的后台关闭策略。我们的工具。。。

• SACLIB公司

• 引用25篇文章[sw00823]
• 也构成了量词 消除系统QEPCAD[5]和QEPCAD。。。同样的例程也用于量词 消除. 而像Valgrind这样的运行时工具。。。

• SYNRAC公司

• 引用28篇文章[sw00942]
• 问题。我们的主要工具是真实的量词 消除我们关注它的应用。。。

• 布洛克

• 27条引用[sw09578]
• 封锁条款消除对于QBF。量化布尔公式（QBF）提供了一个强大的框架编码。。。基于blocked子句的QBF方法消除... 成功地应用了SAT技术。量化封锁条款消除（QBCE）允许模拟各种结构。。。

• SQEMA公司

• 在38篇文章中引用[sw03056]
• 阿克曼的结果消除存在论的量化公式中的谓词变量。。。

• 尼诺菲克斯

• 引用18条[sw09579]
• 本文是Nenofex，一个量化否定范式中的布尔公式（QBF）。。。消除变量。与…对比消除存在主义的量化在CNF上解析变量，这导致。。。

• 通过

• 参考7篇文章[sw21858]
• 量化通过量词 消除. 我们提供了一个高效和健全的量词...

• 垫片

• 引用9篇文章【sw19496】
• 效率取决于甲骨文量词 消除（量化宽松）。对于布尔程序，算法。。。

• 理论古鲁

• 引用4篇文章[sw25572]
• Theoryguru：应用Mathematica软件包量词 消除从技术到经济。我们认为。。。量词 消除（QE）经济学中用于自动推理的技术。有一个伟大的身体。。。

• f2lp公司

• 在10篇文章中引用[sw09898号]
• 计算通用语言。量词是第一位的消除结果呢量词-自由公式。。。

• 马斯

• 引用5篇文章[sw08442]
• 进一步包括实数运算法则量词 消除，参数实数根计数，以及计算。。。

• 守护者

• 引用4篇文章【sw10388】
• 通过简化和量词 消除. 我们的方法在简化表达式的基础上。。。

• 达到

• 引用4篇文章[sw07733]
• 数论，实根隔离，以及量词 消除. 最后实现了决策程序。。。

• 量子器

• 参考22篇文章[sw28381号文件]
• 变量与子句消除“在卫星上。Quantor是一个量化布尔公式。。。

• 艾格索尔

• 引用2篇文章[sw25923]
• 逆变器图（AIG）。在这种方法中，量词是消除，从最里面开始量词... 基本方法由余因子基组成量词 消除结合了大量的优化。。。基于增量SAT，启发式交换量词同样的。。。级别，使用基于BDD的启发式量词 消除作为一种选择，以及结构。。。

• CGSQE公司

• 引用2篇文章[sw20574]
• cgsque/SyNRAC：一个实数量词 消除基于综合Gr“obner系统计算的软件包。。。枫木套餐量词 消除（QE）我们正在发展。它与SyNRAC合作。。。给出一阶公式，cgsque消除一切皆有可能量词使用基本的等式约束。。。

• 鳄鱼

• 引用3篇文章[sw00994]
• 求和，Gr“obner基计算，以及量词 消除. 我们提出了实施的一般原则。。。

• 终结者

• 引用3篇文章[sw06692]
• 进一步翻译成量词 消除在现实中的问题，因此是可计算的。。。