• QuBE++

  • Referenced in 28 articles [sw00766]
  • QuBE++, an efficient solver for Quantified Boolean Formulas (QBFs). To the extent of our knowledge...
  • MPIDepQBF

  • Referenced in 4 articles [sw18671]
  • lightweight approach for solving quantified Boolean formulas (QBFs) in parallel. In particular, our approach uses...
  • HQSpre

  • Referenced in 2 articles [sw28634]
  • tool for simplifying quantified Boolean formulas (QBFs) and the first available preprocessor for dependency quantified ... Boolean formulas (DQBFs). The latter are a generalization of QBFs, resulting from adding so-called ... Henkin-quantifiers to QBFs. HQSpre applies most of the preprocessing techniques that have been proposed...
  • QUBE

  • Referenced in 29 articles [sw11381]
  • Satisfiability. Deciding the satisfiability of a Quantified Boolean Formula (QBF) is an important research issue ... present QuBE, a system for deciding QBFs satisfiability. We start our presentation in § 2 with...
  • MiniSat

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Chaff

  • Referenced in 570 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • sQueezeBF

  • Referenced in 15 articles [sw06959]
  • sQueezeBF: an effective preprocessor for QBFs based on...
  • Quaffle

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

  • Referenced in 181 articles [sw07746]
  • Fast planning through planning graph analysis. We introduce...
  • Glucose

  • Referenced in 38 articles [sw07833]
  • The Glucose SAT Solver. Glucose is based on...
  • 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...
  • CAQE

  • Referenced in 9 articles [sw25922]
  • CAQE: a certifying QBF solver. We present a...
  • Quantor

  • Referenced in 22 articles [sw28381]
  • Quantor: Since the initial release of quantor we...
  • semprop

  • Referenced in 17 articles [sw28383]
  • Lemma and model caching in decision procedures for...