- Referenced in 15 articles
- sQueezeBF combines (i) variable elimination via Q-resolution, (ii) variable elimination via equivalence substitution...
- Referenced in 3 articles
- generate certificates of invalidity, based on Q-resolution. We present independent checking of these certificates...
- Referenced in 64 articles
- Quaffle: Quantified Boolean Formula Evaluator with Learning Quaffle...
- Referenced in 28 articles
- Blocked clause elimination for QBF. Quantified Boolean formulas...
- Referenced in 18 articles
- Nenofex: Expanding NNF for QBF Solving. The topic...
- Referenced in 24 articles
- QUBOS: Deciding quantified Boolean logic using propositional satisfiability...
- Referenced in 31 articles
- DepQBF is a search-based solver for quantified...
- Referenced in 29 articles
- QuBE: A System for Deciding Quantified Boolean Formulas...