• 皮塔

  • 参考22篇文章[sw06950]
  • 自主选择逻辑,逻辑 程序具有带注释的 析取(lpad)、Problog、PRISM等。这些语言…方法是用来翻译的程序在这些语言之间。计算的复杂性…对这些一般PLP的查询概率程序很高是因为…形式的需要程序它可以评估。作为一个完全不同的选择,可能性逻辑 程序收养。。。
  • 超小卫星

  • 引用584篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • R

  • 在10253篇文章中引用[sw00771]
  • 是一种统计语言和环境。。。
  • UCI毫升

  • 引用了3451篇文章[sw04074]
  • 加州大学欧文机器学习知识库。我们目前维持。。。
  • 依斯

  • 引用158篇文章[sw04436]
  • Yices是一个高效的SMT解决方案,它决定。。。
  • 吉咪

  • 引用了190篇文章[sw04597]
  • Java建模语言(JML)是一种行为。。。
  • Isar

  • 引用145篇文章[sw04599]
  • 定理证明系统支持交互式证明开发。。。
  • 背包

  • 引用511篇文章[sw04723]
  • 背包问题是最简单的NP难问题。。。
  • z3型

  • 参考文献612篇[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • 莫纳

  • 引用135篇文章[sw06170]
  • MONA实现秘密。MONA工具提供了一个。。。
  • 韦卡

  • 引用307篇文章[sw06435]
  • 韦卡:怀卡托知识分析环境。韦卡是。。。
  • 引用591篇文章[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔可满足性。。。
  • CP逻辑

  • 引用19篇文章[sw06947]
  • CP公司-逻辑:一种描述因果概率事件的语言。。。