• 超小卫星

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

  • 引用了119篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 水獭

  • 引用文献314篇[sw02904]
  • 我们目前的自动扣除系统Otter是设计。。。
  • CPLEX公司

  • 引用了2583篇文章[sw04082]
  • 国际商用机器公司® 伊洛格® CPLEX公司® 提供C,C++,Java,.NET。。。
  • TPTP

  • 引用378篇文章[sw04143]
  • TPTP(成千上万的定理证明问题。。。
  • z3型

  • 引用509篇文章[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • 引用570篇文章[sw06916]
  • C哈夫:工程和高效的SAT解算器。布尔可满足性。。。
  • 数学5

  • 引用了45篇文章[sw09569]
  • mathsat5 SMT解算器。MathSAT是一个很长的。。。
  • 海喇叭

  • 在14篇文章中引用[sw18274]
  • SeaHorn验证框架。在本文中,我们。。。