• 奎比

  • 27篇参考文献[SW11381]
  • 现在的Qube,一个决定系统QBFS可满足性。我们在第2节开始我们的演讲。
  • Qube ++

  • 26篇参考文献[SW07666 ]
  • 量化布尔公式的高效求解器QBFS就我们所知,QuBE…
  • 挤压膨化

  • 14篇参考文献[SW06959]
  • CuffZeBF:一种有效的预处理器QBFS本文在等价推理的基础上提出了…CuffZeBF,一种有效的预处理器QBFS它结合了各种技术来消除变量和/或冗余…
  • CAQE

  • 7篇参考文献[SW25922]
  • 基于分解的算法QBFS一系列命题公式,其中…HeBrand函数从真,分别为假,QBFS让我们证明解决方案的结果…
  • MPIDEQQBF

  • 4篇参考文献[SW1867 1]
  • 求解布尔量化公式的轻量级方法QBFS)并行。特别是,我们的方法使用…
  • HQSPRE

  • 2篇参考文献[ SW28 634 ]
  • 简化量化布尔公式的工具(QBFS)和第一个可用的预处理器的依赖性量化…DQBFs)后者是一种概括。QBFS,由于增加所谓的Henkin quantifiers…QBFS. HQSPRE应用了文献中提出的大多数预处理技术…
  • 超小卫星

  • 518篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 557篇参考文献[SW06916]
  • 箔条:工程高效的SAT求解器。布尔可满足性…
  • 伯克明

  • 158篇参考文献[SW06917]
  • BerkMin:一个快速和强大的SAT求解器。我们
  • 废话

  • 62篇参考文献[ SW0727 8]
  • Quaffle:量化布尔公式计算器与学习Quffle…
  • 图规划

  • 180篇参考文献[SW0776]
  • 通过规划图分析进行快速规划。我们介绍…
  • 夸伯斯

  • 24篇参考文献[ SW09580]
  • 夸伯斯:用命题可满足性来确定量化布尔逻辑…