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