Cited in
(58)- Q-resolution with generalized axioms
- Long distance Q-resolution with dependency schemes
- Solving QBF with counterexample guided refinement
- The QBF Gallery: behind the scenes
- Local redundancy in SAT: generalizations of blocked clauses
- Solving QBF with counterexample guided refinement
- Conformant planning as a case study of incremental QBF solving
- Algorithms for computing minimal equivalent subformulas
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
- Planning with Incomplete Information in Quantified Answer Set Programming
- Quantifier reordering for QBF
- A game characterisation of tree-like Q-resolution size
- A unified proof system for QBF preprocessing
- Recovering and utilizing partial duality in QBF
- QuBE++
- NiVER
- sQueezeBF
- Quaffle
- Nenofex
- DepQBF
- QBFLIB
- QUBOS
- CirQit2
- QUBE
- QMiraXT
- Coprocessor
- GRAPPA
- HordeQBF
- MPIDepQBF
- QBFEVAL
- AIGSolve
- CAQE
- Quantor
- HQSpre
- semprop
- cnf2aig
- sKizzo
- RAReQS
- Incremental determinization
- Super-blocked clauses
- 2QBF: challenges and solutions
- QELL: QBF reasoning with extended clause learning and levelized SAT solving
- Truth assignments as conditional autarkies
- Preprocessing for DQBF
- Solution validation and extraction for QBF preprocessing
- On QBF Proofs and Preprocessing
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
- Encodings of bounded synthesis
- PReLearn
- QRATPre+
- Extended Failed-Literal Preprocessing for Quantified Boolean Formulas
- Long-distance Q-resolution with dependency schemes
- SAT-Inspired Eliminations for Superposition
- HordeQBF: a modular and massively parallel QBF solver
- Enhancing search-based QBF solving by dynamic blocked clause elimination
- QESTO
- Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
This page was built for software: Bloqqer
