• 集成电路

  • 引用了20篇文章[sw21618]
  • Canonizer and Solver)是一个高效的决策 程序对于一阶逻辑的片段。。。
  • 霍利汉

  • 引用了20篇文章[sw11553]
  • 任务7 AI/ATP组合和4决策 程序整体表现。。。
  • 富帕尔

  • 引用18条[sw09138]
  • 不平等和软约束。这个决策 程序是一个交互式人机模型。。。
  • 表格

  • 引用18条[sw11674号文件]
  • 它们的传递闭包和逆。这个决策 程序我们使用的基本上是语义表。。。
  • CSIsat公司

  • 引用15篇文章[sw11407]
  • 现在的CSIsat,一个插值决策 程序对于有理线性算法的无量词理论。。。
  • 元图

  • 引用了20篇文章[sw01368]
  • 包含存储数据,数据分析程序,和决策模型。然而,许多决策支持系统已经发展。。。
  • 麦克白

  • 引用98篇文章[sw16199]
  • 帮助a决策制造商或决策-建议集团量化期权的相对吸引力。。。采用初步的、互动的、提问的方式程序一次比较两个元素,只要求。。。这完全符合决策制造商的判断。通过类似的过程。。。
  • 核桃

  • 在14篇文章中引用[sw30122]
  • 实现机械决策 程序用来决定某些。。。
  • 巨像

  • 在14篇文章中引用[sw07016]
  • 此外,巨像是合成的:它合成决策 程序对于包括。。。
  • DCVALID公司

  • 在14篇文章中引用[sw20416]
  • 基于自动机理论决策 程序对于量化离散持续时间微积分(QDDC。。。
  • 克里普克

  • 引用8篇文章[sw01162]
  • 适当的词汇)决策 程序对于每一个逻辑都描述了递归。。。黑夜。但是在实践中决策 程序往往是不可能的。。。这个问题决策 程序有人问我可以通过电脑实现机械化。。。
  • 里拉

  • 参考7篇文章[sw21270]
  • 任务依赖于决策 程序对于一阶逻辑的片段。交互式。。。也要利用这些决策 程序提高自动化水平。我们的工具。。。里拉工具决策 程序基于自动机理论的一阶逻辑线性化方法。。。
  • MSO_Regex_等价

  • 参考7篇文章[sw32230]
  • 决定 程序基于正则表达式的派生词。一元二阶。。。可判定但又富有表现力的逻辑决策问题可以编码。因为MSO公式。。。自动机)。我们验证一个可执行文件决策 程序对于不基于的MSO公式。。。自动机但是在正则表达式上。决定 程序对于正则表达式等价性已经被形式化了。。。
  • VeriML公司

  • 引用8篇文章[sw13522号文件]
  • 用户可以开发复杂的策略和决策 程序使用丰富的编程模型。。。用户避免开发特定领域的策略和决策在这篇文章中,我们提出了VeriML。。。类型安全策略和决策 程序用VeriML编写。。。
  • 正则表达式等价

  • 参考6篇文章[sw32229]
  • 统一的决定 程序对于正则表达式等价性。我们形式化了一个统一的框架来验证决策... 最近出版的五个此类规范决策 程序(三个基于导数,两个基于标记。。。比较不同的决策 程序以一种有意义的方式。形式化。。。
  • 德拉赫

  • 参考11篇文章[sw20164]
  • 数字,由delta求解-决策 程序在SMT解算器dReach中。在这个。。。
  • 朱诺-2

  • 参考11篇文章[sw07216]
  • 想法是“结合决策 程序“技术”已经被广泛应用。。。
  • 罗斯洛普

  • 在10篇文章中引用[sw10019]
  • 现代终端检查器。Knuth Bendix完成程序是由使用的一个简化顺序参数化的。。。完成后可能会产生决策 程序仅限于那些。。。