Cited in
(35)- Clause/Term resolution and learning in the evaluation of quantified Boolean formulas
- Evaluating and certifying QBFs: a comparison of state-of-the-art tools
- Automated testing and debugging of SAT and QBF solvers
- Computational methods for database repair by signed formulae
- Efficiently solving quantified bit-vector formulas
- Beyond CNF: A Circuit-Based QBF Solver
- An empirical study of QBF encodings: from treewidth estimation to useful preprocessing
- scientific article; zbMATH DE number 1765680 (Why is no real title available?)
- On deciding subsumption problems
- Theory and Applications of Satisfiability Testing
- Antichain-Based QBF Solving
- Ranking function synthesis for bit-vector relations
- Lower bound techniques for QBF proof systems
- Compressing BMC encodings with QBF
- Backjumping for quantified Boolean logic satisfiability
- 2QBF: challenges and solutions
- Theory and Applications of Satisfiability Testing
- ARMC
- PaQuBE
- sQueezeBF
- Quaffle
- A Compact Representation for Syntactic Dependencies in QBFs
- QBFLIB
- QUBOS
- CirQit2
- QUBE
- QuteSAT
- Quantor
- semprop
- Solving QBF with counterexample guided refinement
- sKizzo
- Abstraction-based algorithm for 2QBF
- A complexity perspective on entailment of parameterized linear constraints
- Ranking function synthesis for bit-vector relations
- Message passing algorithm for solving QBF using more reasoning
This page was built for software: QuBE++
