• 萨特4J

  • 引用73篇文章[sw07283]
  • 求解SAT、MAXSAT、伪解算-布尔型,最低限度不可满足子集(MUS)问题。在爪哇,承诺。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 三元有限半群的面积布尔型代数,逻辑演算,组合逻辑,群论,格理论。。。积极开发,维护和支持最小. 我们建议使用水獭/Mace2的后续Prover9/Mace4。。。
  • Walksat公司

  • 参考文献205篇[SW328号]
  • WalkSat是一种局部搜索算法布尔型可满足性问题。两种算法都适用于公式。。。轻弹。GSAT做出的改变最小化未满足条款的数量。。。
  • 阿莫尔

  • 参考12篇文章【sw20980】
  • 包括启发式最小化非确定性自动机)的语言操作(例如。布尔型常规运算,商。。。
  • 摩卡

  • 引用9篇文章[sw12553]
  • 获得最小来自故障树的集合。从对布尔型故障逻辑。。。故障树和指定最小切割组长度要获得摩卡。。。
  • 利奈格

  • 参考6篇文章[sw10316号文件]
  • 表示(可能是非凸)多面体布尔型变量。我们方法的关键组成部分。。。空间遍历是冗余消除和约束最小化:冗余消除消除消除所谓的冗余线性。。。
  • 布洛姆

  • 引用2篇文章【sw18880】
  • 有价值的数据集。我们组织空间布尔型表达式分为四类:纯连词,纯。。。重点挖掘最简单的表达式最小每类发电机。我们还提议。。。每一个生成闭的类的运算符布尔型表达。BLOSOM高效开采频繁布尔型表达。。。
  • 卫星

  • 1条引用[sw31322]
  • 卫星是一个CNF最小值,用作预处理器。。。网络列表翻译产生的编码(组合布尔型电路)。以MiniSat为后端。。。
  • 男爵

  • 引用308篇文章[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • 差距

  • 引用2797篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。