• sQueezeBF

  • Referenced in 15 articles [sw06959]
  • sQueezeBF combines (i) variable elimination via Q-resolution, (ii) variable elimination via equivalence substitution...
  • Squolem

  • Referenced in 3 articles [sw09453]
  • generate certificates of invalidity, based on Q-resolution. We present independent checking of these certificates...
  • Quaffle

  • Referenced in 64 articles [sw07278]
  • Quaffle: Quantified Boolean Formula Evaluator with Learning Quaffle...
  • Bloqqer

  • Referenced in 28 articles [sw09578]
  • Blocked clause elimination for QBF. Quantified Boolean formulas...
  • Nenofex

  • Referenced in 18 articles [sw09579]
  • Nenofex: Expanding NNF for QBF Solving. The topic...
  • QUBOS

  • Referenced in 24 articles [sw09580]
  • QUBOS: Deciding quantified Boolean logic using propositional satisfiability...
  • DepQBF

  • Referenced in 31 articles [sw09734]
  • DepQBF is a search-based solver for quantified...
  • QUBE

  • Referenced in 29 articles [sw11381]
  • QuBE: A System for Deciding Quantified Boolean Formulas...