• 超小卫星

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

  • 在168篇文章中引用[sw02524]
  • ASSAT(由SAT解算器提供的答案集)是。。。
  • C模型

  • 引用66篇文章[sw04435]
  • Cmodels是一个计算答案集的系统。。。
  • 参考文献561篇[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔可满足性。。。
  • 伯克明

  • 引用158篇文章[sw06917]
  • BerkMin:一个快速而健壮的SAT解算器。我们。。。