semprop

swMATH28383MaRDI QIDQ40097FDOQ40097

Author name not available (Why is that?)

Official website: http://www.qbflib.org/solver_detail.php?solver=8

Cited In (40)

• From QBFs to \textsf{MALL} and back via focussing
• Solving QBF with counterexample guided refinement
• The QBF Gallery: behind the scenes
• Conformant planning as a case study of incremental QBF solving
• A Compact Representation for Syntactic Dependencies in QBFs
• Validating QBF Validity in HOL4
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• RAReQS
• The complexity of pure literal elimination
• QESTO
• QuBE++
• sQueezeBF
• Quaffle
• Bloqqer
• Nenofex
• DepQBF
• QUBOS
• SATORI
• Squolem
• CirQit2
• QUBE
• QMiraXT
• Spybug
• HordeQBF
• MPIDepQBF
• QBFEVAL
• AIGSolve
• CAQE
• Quantor
• HQSpre
• KoMeT
• On deciding subsumption problems
• sKizzo
• Computational methods for database repair by signed formulae
• Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
• QRATPre+
• A solver for QBFs in negation normal form
• HordeQBF: a modular and massively parallel QBF solver
• Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
• Q-resolution with generalized axioms

This page was built for software: semprop