Similar Items: QBF Merge Resolution is powerful but unnatural
- Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
- Feasible Interpolation for QBF Resolution Calculi
- Bilateral Treewidth for QBF: Where Strategies and Resolution Meet
- Towards Uniform Certification in QBF
- Fast and Efficient Merge of Sorted Input Lists in Hardware Using List Offset Merge Sorters
- Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge