Similar Items: Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
- Feasible Interpolation for QBF Resolution Calculi
- QBF Merge Resolution is powerful but unnatural
- Towards Uniform Certification in QBF
- Bilateral Treewidth for QBF: Where Strategies and Resolution Meet
- JSOSolvers.jl: Unconstrained and bound-constrained optimization solvers
- A Flexible Proof Format for SAT Solver-Elaborator Communication