• 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]
  • 数论,实根隔离,以及量词 消除. 最后实现了决策程序。。。
  • 艾格索尔

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

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

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

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