• 莫纳

  • 116篇参考文献[SW06170]
  • 基于自动机的决策过程逻辑学WS1S和WS2S。公式约简,DAGification,制导树自动机,-宝贵的 逻辑,急切最小化,基于BDD的自动机表示…
  • 多原木

  • 17篇参考文献[SW06604]
  • 有限规范宝贵的一阶逻辑并产生一个连续的演算,一个自然的…系统和子句形成规则逻辑. 所有生成的规则是优化他们的…例如,本规范-宝贵的格德尔逻辑结果:更多细节…
  • 重建器

  • 1篇参考文献[SW32 101]
  • 重构器:使用的计算机程序-宝贵的 逻辑学表示缺乏信息…
  • 557篇参考文献[SW06916]
  • 箔条:设计一种高效的SAT求解器。布尔可满足性…
  • XSB

  • 136篇参考文献[SW1387]
  • XSB是逻辑编程和演绎数据库…
  • 摩根

  • 6篇参考文献[SW21347 ]
  • ModGen:模型生成定理证明。MODGEN(模型…
  • 3TAP

  • 13篇参考文献[SW21544 ]
  • 基于表的定理证明器3TAP多个…