Pages that link to "Item:Q3192061"
From MaRDI portal
The following pages link to QBF Resolution Systems and Their Proof Complexities (Q3192061):
Displaying 32 items.
- Quantified maximum satisfiability (Q272016) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Relating size and width in variants of Q-resolution (Q1653019) (← links)
- Understanding cutting planes for QBFs (Q1784953) (← links)
- Short proofs for some symmetric quantified Boolean formulas (Q1799597) (← links)
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- QBFFam: a tool for generating QBF families from proof complexity (Q2118282) (← links)
- Lower bounds for QCDCL via formula gauge (Q2118284) (← links)
- Proof complexity of symbolic QBF reasoning (Q2118330) (← links)
- Reinterpreting dependency schemes: soundness meets incompleteness in DQBF (Q2323446) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- A game characterisation of tree-like Q-resolution size (Q2424676) (← links)
- A simple proof of QBF hardness (Q2656352) (← links)
- A Game Characterisation of Tree-like Q-resolution Size (Q2799200) (← links)
- On Stronger Calculi for QBFs (Q2818031) (← links)
- Q-Resolution with Generalized Axioms (Q2818032) (← links)
- Lifting QBF Resolution Calculi to DQBF (Q2818035) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- HordeQBF: A Modular and Massively Parallel QBF Solver (Q2818039) (← links)
- Lower Bound Techniques for QBF Proof Systems (Q3304096) (← links)
- (Q3304106) (← links)
- Feasible Interpolation for QBF Resolution Calculi (Q3448783) (← links)
- QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving (Q3453239) (← links)
- (Q4625701) (← links)
- (Q4625702) (← links)
- (Q4993272) (← links)
- (Q5136303) (← links)
- Lower bounds for QCDCL via formula gauge (Q6053848) (← links)
- Functional synthesis via input-output separation (Q6102165) (← links)
- Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Q6135750) (← links)
- Towards Uniform Certification in QBF (Q6151563) (← links)
- Classes of hard formulas for QBF resolution (Q6488807) (← links)
