• 荷兰语

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

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

  • 引用151篇文章[sw07543]
  • 线性算法的积分决策 程序加上一个相当原始的设施。。。
  • 伊兰

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

  • 引用135篇文章[sw06170]
  • 提供了一个基于决策 程序对于逻辑WS1S和WS2S。。。
  • CVC4

  • 参考文献125篇[sw09485]
  • 核心系统架构和决策 程序利用最新的工程和算法进步。。。
  • 伯克明

  • 引用161篇[sw06917]
  • 同时BerkMin引入了一个新的决策-制造程序一种新的从句方法。。。
  • CVC公司

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

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

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

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

  • 引用41篇文章[sw12804]
  • 猛击、爆炸或魔法使用决策 程序对于有限的抽象和模拟。。。
  • PG求解器

  • 引用36篇[sw14051]
  • 在自动机理论和决策 程序(有效性以及模型检查。。。
  • 德雷尔

  • 在34篇文章中引用[sw07157]
  • 实现了δ-完全框架决策 程序:它返回unsat。。。
  • 核桃

  • 引用了30篇文章[sw30122]
  • 实现机械决策 程序用来决定某些。。。
  • 雅帕

  • 引用19篇文章[sw02739]
  • 关系:可推断性和静态等价性。几个决策 程序这些关系已经被提议在…实施至今。我们提供通用程序对于可推断性和静态等价性来说…算法覆盖了所有现有的决策 程序对于趋同理论。我们还提供高效的。。。
  • 达尔文

  • 在26篇文章中引用[sw04175]
  • 给定的问题。达尔文是决策 程序对于无函数子句集。。。
  • 霍利汉

  • 在26篇文章中引用[sw11553]
  • 任务7 AI/ATP组合和4决策 程序有助于它的整体表现。。。
  • semprop公司

  • 引用18条[sw28383]
  • 引理和模型缓存决策 程序对于量化的布尔公式。越来越重要的作用…许多应用程序要求实际高效决策 程序最有希望的范例之一。。。
  • 库布斯

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