Similar Items: Feasible Interpolation for QBF Resolution Calculi
- Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
- A feasible interpolation for random resolution
- QBF Merge Resolution is powerful but unnatural
- Bilateral Treewidth for QBF: Where Strategies and Resolution Meet
- Towards Uniform Certification in QBF
- The Complexity of Enriched Mu-Calculi