• CirQit2

  • Referenced in 6 articles [sw11380]
  • also displayed superior performance in the non-prenex non-CNF track of the QBFEval...
  • Quaffle

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

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