• Bloqqer

  • Referenced in 31 articles [sw09578]
  • this paper, we present novel preprocessing methods for QBF based on blocked clause elimination ... elimination (QBCE) allows to simulate various structural preprocessing techniques as BCE in SAT. We have...
  • Quantor

  • Referenced in 22 articles [sw28381]
  • context of QBF. Both features are described in our paper ”Effective Preprocessing in SAT through ... solver for quantified boolean formulas (QBF) in the QDIMACS format. Checking satisfiability...
  • QRATPre+

  • Referenced in 5 articles [sw41096]
  • QRATPre+: effective QBF preprocessing via strong redundancy properties. QRATPre+ is a novel preprocessor to simplify...
  • sQueezeBF

  • Referenced in 16 articles [sw06959]
  • QBF solvers -- up to the point that some instances cannot be solved without sQueezeBF preprocessing...
  • AIGSolve

  • Referenced in 2 articles [sw25923]
  • QBF solver AIGSolve. AIGSolve is a rewriting-based solver based on And-Inverter Graphs (AIGs ... compaction of the representations, methods for preprocessing QBF-formulas based on incremental SAT, heuristics that...
  • HQSpre

  • Referenced in 10 articles [sw28634]
  • HQSpre - An Effective Preprocessor for QBF and DQBF. We present our new preprocessor HQSpre ... QBFs. HQSpre applies most of the preprocessing techniques that have been proposed in the literature ... used. Extensive experiments show that HQSpre allows QBF solvers to solve more benchmark instances...
  • Boolector

  • Referenced in 31 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • QuBE++

  • Referenced in 27 articles [sw00766]
  • In this paper we describe QuBE++, an efficient...
  • z3

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Chaff

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

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

  • Referenced in 61 articles [sw09449]
  • The MathSAT 4 SMT Solver. We present MathSAT...
  • Nenofex

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

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

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

  • Referenced in 44 articles [sw34795]
  • STP: The Simple Theorem Prover. STP is a...