• 佐藤

  • 引用195篇文章[sw04451]
  • 佐藤:解决命题的 可满足性:戴维斯-普特南方法是主要的。。。实用方法可满足性(SAT)问题命题的逻辑。在过去的十年里。。。
  • 普萨托

  • 引用了40篇文章[sw02635]
  • PSATO:一个分布式/并行的验证程序命题的 可满足性(SAT)用于工作站网络。PSAT是基于。。。
  • 库布斯

  • 引用24篇文章[sw09580号]
  • QUBOS:使用命题的 可满足性解决方案。我们描述了QUBOS(量化布尔解算器。。。a的公式命题的从句形式之后就下架了可满足性解算器。。。
  • 萨滕斯坦

  • 17条引用[sw14233]
  • 的本地搜索(SLS)解算器命题的 可满足性问题(SAT)。我们首先介绍一个广义的。。。
  • 验证

  • 引用31篇文章[sw02011]
  • 时间自动机可满足性问题命题的使用公式(SAT问题)。为了证明。。。
  • 猛虎

  • 引用了40篇文章[sw11689]
  • 实施。测试可满足性角的表情命题微积分是基础。。。
  • 预卫星

  • 引用18条[sw07832]
  • 搜索一个令人满意的分配命题的合取范式公式。。。
  • SAT竞赛

  • 参考第8条[sw04623]
  • 命题的 可满足性问题(SAT)以及比较它们。。。
  • SymChaff公司

  • 参考6篇文章[sw00938]
  • SymChaff:利用结构感知中的对称性可满足性解决。他的文章介绍。。。问题对称性的表示与利用命题的 可满足性算法。虽然以前很多方法都集中在。。。
  • 梅萨特

  • 引用5篇文章【sw29642】
  • 布尔变量被简化为命题的 可满足性问题(SAT)。许多编码(例如,直接。。。
  • 沙塔拉

  • 引用48篇文章[sw06849]
  • 寻找证据。Satallax产生命题的一个完整的表格规则。。。微积分并定期调用miniat进行测试可满足性这些条款。Satallax实现了。。。
  • iSat公司

  • 引用4篇文章[sw14762]
  • 在中分析和查找结构命题的 可满足性问题。iSat提供了一个交互式shell来控制。。。
  • 马克西诺

  • 参考6篇文章[sw33093]
  • 优化变量可满足性的问题命题的公式。马克西诺的基地。。。
  • 莫德根

  • 参考6篇文章[sw21347]
  • 确保命题的条款是可满足的如果原始公式是。第二个模块。。。
  • OptSAT公司

  • 引用2篇文章[sw00656]
  • 解决SAT相关的优化问题。命题的 可满足性(SAT)是最重要的。。。
  • 希尔胡戈

  • 引用18条[sw09704]
  • 试图证明的定理证明者(大)命题矛盾。典型的例子,在语法。。。矛盾),p |(q->(abcd<->s))(可满足的). 输入被放入一个文件。。。如最大数量命题字母(已设置为超过。。。
  • 吉隆坡一号

  • 引用了40篇文章[sw28891]
  • 重要的推理问题(如包容和可满足性)在各种各样的描述逻辑中。。。结果证明与命题的模态逻辑和程序逻辑(如。。。
  • 沙茶++

  • 引用3篇文章[sw21350]
  • 确定问题可满足性命题的字母组合,其中。。。一阶理论可满足性一组基态原子的程序。。。
  • relsat公司

  • 1条引用[sw14806]
  • 解决命题的 可满足性问题(SAT)。给定的输入实例。。。