• 萨特4J

  • 引用75篇文章[sw07283]
  • 求解SAT,MAXSAT,伪布尔函数,最低限度 不满意 子集(MUS)问题。在爪哇,承诺。。。
  • MUP公司

  • 引用15篇文章[sw11910]
  • 确定其最小 不满意 子集,指出了不可行的原因。。。提取不满意子公式不保证极简结果。本文描述了。。。
  • R-萨奇莫

  • 引用3篇文章[sw06620]
  • SATCHMO可以用来生成最小 不满意 子集一个不满意子句集。。。建议R-SATCHMO适用于最小模型生成程序。我们描述我们的改进。。。
  • cmMUS公司

  • 1条引用[sw09773]
  • 一个子句是否属于某个最小 不满意 子集(MUS)给定公式的。当。。。
  • 涓涓细流

  • 在0篇文章中引用[sw22323]
  • 自动不可行路径检测最小 不满意 子集. 静态分析技术可以用来。。。同时整合计算最小 不满意 子集(加缪)算法来减少数量。。。
  • MemSAT公司

  • 1条引用[sw28539]
  • 最小 子集内存模型和程序约束不满意. 我们用MemSAT。。。
  • 超小卫星

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

  • 引用了20篇文章[sw00801]
  • 我们描述了揭示形式功能验证系统。。。
  • 阿萨德

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

  • 引用5篇文章[sw02719]
  • 马可:多仿射系统的可达性演算法。。。
  • 沉香

  • 参考1191篇文章[sw04002]
  • SeDuMi是一个求解优化问题的Matlab工具箱。。。
  • TPTP

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

  • 引用509篇文章[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • 扣环

  • 引用90篇文章[sw07095]
  • 卡扣:一个冲突驱动的答案集解决方案。钩子。。。
  • 保鲜膜

  • 引用了65篇文章[sw09893]
  • Potasco,波茨坦答案集解决方案集,捆绑。。。
  • 娱乐

  • 引用24篇文章[sw11915]
  • 娱乐:a最低限度-不满意子公式提取器。这篇论文。。。
  • 博物馆2

  • 参考12篇文章[sw13403]
  • MUSer2:一个高效的MUS提取器。提取算法。。。