QBFLIB
From MaRDI portal
Cited in
(38)- A self-adaptive multi-engine solver for quantified Boolean formulas
- QuBE++
- UnitWalk
- SatEx
- sQueezeBF
- FODD-Planner
- Bloqqer
- Nenofex
- DepQBF
- Combining resolution-path dependencies with dependency learning
- CirQit2
- QUBE
- QuteSAT
- HTab
- Incremental determinization
- Dealing with Symmetries in Modal Tableaux
- The QBF Gallery: behind the scenes
- Abstraction-based algorithm for 2QBF
- Report of the third QBF solvers evaluation
- QELL: QBF reasoning with extended clause learning and levelized SAT solving
- Bounded Universal Expansion for Preprocessing QBF
- Beyond CNF: A Circuit-Based QBF Solver
- QAGen
- C32SAT
- Quantor
- HGen
- Nginx
- pyrunlim
- Exploiting circuit representations in QBF solving
- Decision procedures. An algorithmic point of view
- Recovering and utilizing partial duality in QBF
- Formal Methods in Computer-Aided Design
- sKizzo
- Theory and Applications of Satisfiability Testing
- RAReQS
- QESTO
- Symmetric blocking
- Design and results of the Fifth Answer Set Programming Competition
This page was built for software: QBFLIB
