• 荷兰语

  • 引用482篇文章[sw05492]
  • 实施了验证工具。内置决策 程序定理证明者可以自动建立许多简单的。。。
  • 肉豆蔻4

  • 引用了197篇文章[sw06905]
  • 平等的基本条款。那么,a决策 程序在地面方程的基础上,应用了改写方法。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 逻辑程序设计语言、约束求解器和决策 程序提供一个模块化的框架。。。逻辑程序设计语言、约束求解器和决策 程序提供一个模块化的框架。。。
  • 数量

  • 在146篇文章中引用[sw07543]
  • 线性算法的积分决策 程序加上一个相当原始的设施。。。
  • 莫纳

  • 参考117条[sw06170号]
  • 基于自动机的实现决策 程序对于逻辑WS1S和WS2S。。。
  • 伯克明

  • 引用158篇文章[sw06917]
  • BerkMin引入了一个新的时间决策-制造程序一种新的从句方法。。。
  • CVC4

  • 引用98篇文章[sw09485]
  • 核心系统架构和决策 程序利用最新的工程和算法进步。。。
  • CVC公司

  • 引用47篇文章[sw09462]
  • 配合有效性检查。决定 程序对于可判定的逻辑和逻辑理论已经证明。。。描述了CVC(“协同有效性检查器”)决策 程序. CVC实施了一个合并子公司的框架。。。决策 程序对于某些逻辑理论决策 程序为联盟理论。附属的。。。决策 程序对于数组理论,归纳数据类型和线性实数运算目前被实现。。。
  • CBMC公司

  • 引用了77篇文章[sw09719]
  • 丁氏方程决策 程序. 虽然CBMC的目标是嵌入式软件,但它也。。。
  • 梅塔尔斯基

  • 引用49篇文章[sw00573]
  • 校准程序(Metis)修改为调用决策 程序(QEPCAD)对于真实封闭理论。。。领域。这个决策 程序通过删除与其他代数不一致的文字简化子句。。。
  • 焦点

  • 参考58篇文章[sw12868]
  • 插值校准器。焦点是决策 程序对于无量词的一阶公式。它支持。。。
  • 撒旦

  • 引用了37篇文章[sw12804]
  • 猛击、爆炸或魔法使用决策 程序对于有限的抽象和模拟。。。
  • 德雷尔

  • 在26篇文章中引用[sw07157]
  • 实现$delta$-complete框架决策 程序$or unsat返回它。。。
  • 雅帕

  • 引用18条[sw02739]
  • 关系:可推断性和静态等价性。几个决策 程序已经被提议在。。。目前已实施。我们提供通用程序对于可推断性和静态等效性来说。。。算法覆盖了所有现有的决策 程序对于趋同理论。我们还提供一个高效的。。。
  • 乌克利德

  • 引用25篇文章[sw04657]
  • 基于验证。作为一个独立的决策 程序对于未解释函数的理论。。。
  • 库博斯

  • 引用24篇文章[sw09580]
  • 描述QUBOS(量化布尔解算器),一个决策 程序用于量化布尔逻辑。这个程序...
  • 达尔文

  • 引用24篇文章[sw04175]
  • 给定的问题。达尔文是决策 程序对于无函数子句集。。。
  • PG求解器

  • 引用23条[sw14051]
  • 在自动机理论和决策 程序(有效性以及模型检查。。。
  • semprop公司

  • 引用16条[sw28383]
  • 引理和模型缓存决策 程序对于量化的布尔公式。增加角色。。。许多应用程序要求实际高效决策 程序. 最有希望的范例之一。。。