• 霍尔

  • 460篇参考文献[SW054 92]
  • 证明工具实现。内置的决策 程序定理证明器可以自动建立许多简单的…
  • MACE4

  • 190篇参考文献[SW06905]
  • 平等的地面子句。然后,A决策 程序基于地面等式重写被应用于…
  • 埃兰

  • 105篇参考文献[SW02179]
  • 逻辑程序设计语言、约束求解器和决策 程序并提供一个模块化框架…逻辑程序设计语言、约束求解器和决策 程序并提供一个模块化框架…
  • NQTHM

  • 144篇参考文献[SW075 43]
  • 线性算法的集成决策 程序加上一个相当原始的设施…
  • 莫纳

  • 114篇参考文献[SW06170]
  • 提供一个基于自动机的实现决策 程序对于逻辑WS1S和WS2S…
  • 伯克明

  • 158篇参考文献[SW06917]
  • 同时伯克明引入了一个新的决策制作程序和一种新的子句方法…
  • CVC4

  • 86篇参考文献[SW0985]
  • 核心系统体系结构决策 程序利用最近的工程和算法进步的优势…
  • 氯化铯

  • 46篇参考文献[SW09462]
  • 协作有效性检验器。决定 程序对于可判定逻辑和逻辑理论已经证明…描述CVC(“协作有效性检查程序”)。决策 程序. CVC实现了子公司合并的框架。决策 程序将某些逻辑理论转化为决策 程序为了理论的结合。附属的。。。决策 程序对于数组的理论,归纳数据类型和线性实数算法目前被实现…
  • CBMC

  • 74篇参考文献[SW0919]
  • 廷方程到A决策 程序. CBMC以嵌入式软件为目标,同时也…
  • 梅蒂尔茨基

  • 44篇参考文献[SW0533]
  • 修正称为METIS决策 程序(QEPCCAD)的真正封闭理论…领域。这个决策 程序通过删除与其他代数不一致的文字来简化子句。
  • 病灶

  • 58篇参考文献[SW12868 ]
  • 插值证明器焦点是决策 程序对于无量词的一阶公式。它支持…
  • 萨塔布

  • 37篇参考文献[SW12804]
  • 猛击、爆破或魔法使用决策 程序对于抽象和模拟是有限的…
  • 达罗

  • 26篇参考文献[SW07157]
  • 实现$Delta $完整的框架决策 程序它返回UNSAT或Delta…
  • 雅帕

  • 18篇参考文献[ SW0739 ]
  • 关系:演绎性和静态对等。几个决策 程序已经提出了这些关系下…到目前为止实施。我们提供了一个通用的程序对于演绎和静态等价,需要…算法覆盖所有现有的决策 程序收敛理论。我们还提供了一个有效的…
  • 夸伯斯

  • 24篇参考文献[ SW09580]
  • 描述QuBOS(量化布尔解算器),A决策 程序用于量化布尔逻辑。这个程序
  • 乌克利特

  • 24篇参考文献[SW04667]
  • 基于验证。作为一个独立的决策 程序对于未解释函数的理论…
  • 达尔文

  • 23篇参考文献[SW04175]
  • 给定的问题。达尔文是决策 程序对于无函数子句集…
  • PGSOVER

  • 23篇参考文献[SW1405]
  • 自动机理论中的重要应用决策 程序(有效性和模型检验…
  • 半主动

  • 16篇参考文献[SW28 83]
  • 引理与模型缓存决策 程序对于量化布尔公式。越来越重要的角色…许多应用要求实际有效。决策 程序. 最有希望的范例之一…
  • 集成电路

  • 20篇参考文献[SW21618]
  • 规范化和求解器是一种有效的方法决策 程序对于一阶逻辑的片段…