• CAQE

  • Referenced in 8 articles [sw25922]
  • present a new CEGAR-based algorithm for QBF. The algorithm builds on a decomposition ... shows that CAQE has competitive performance compared to current QBF solvers and outperforms previous certifying...
  • DepQBF

  • Referenced in 31 articles [sw09734]
  • based on the DPLL algorithm for QBF with conflict-driven clause and solution-driven cube ... participated in QBFEVAL’10. See the competition website for performance results. For bug reports...
  • CirQit2

  • Referenced in 6 articles [sw11380]
  • have implemented these techniques in a new QBF solver called CirQit2 and evaluated their impact ... track of the QBFEval’10 competition...
  • QBFEVAL

  • Referenced in 4 articles [sw22901]
  • field of QBF solvers and QBF-based applications. Up to the third event ... evaluation was run on a non-competitive basis, i.e., there were no winners and losers ... QBFEVAL becomes a competitive event. We warmly encourage developers of QBF solvers to submit their...
  • Quantor

  • Referenced in 22 articles [sw28381]
  • mention 7 applications. More information on the QBF problem can be found at QBFLIB ... submitted to the SAT’04 SAT Solver Competition. This application is described in more detail...
  • MinisatID

  • Referenced in 1 article [sw14760]
  • ECNF (native format), OPB (pseudo-boolean) QBF, FlatZinc and ground Lparse. Can transform the input ... place of 16 in the 2nd ASP competition, eye-to-eye with clasp (winner...
  • Boolector

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

  • Referenced in 531 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SMT-LIB

  • Referenced in 182 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • SATO

  • Referenced in 195 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • z3

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

  • Referenced in 287 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...
  • Chaff

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

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

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

  • Referenced in 35 articles [sw08839]
  • StarExec: Starexec is a cross community logic solving...
  • Bloqqer

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

  • Referenced in 17 articles [sw09581]
  • Quantified Boolean formulas satisfiability library (QBFLIB). QBFLIB is...
  • ABC

  • Referenced in 31 articles [sw12910]
  • ABC: An Academic Industrial-Strength Verification Tool. ABC...