Pages that link to "Item:Q2922598"
From MaRDI portal
The following pages link to On Unification of QBF Resolution-Based Calculi (Q2922598):
Displayed 28 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919) (← links)
- Understanding cutting planes for QBFs (Q1784953) (← links)
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- Dual proof generation for quantified Boolean formulas with a BDD-based solver (Q2055876) (← links)
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations (Q2058378) (← links)
- Characterising tree-like Frege proofs for QBF (Q2272983) (← 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)
- Incremental Determinization (Q2818028) (← 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)
- Lower Bound Techniques for QBF Proof Systems (Q3304096) (← links)
- (Q3304106) (← links)
- Feasible Interpolation for QBF Resolution Calculi (Q3448783) (← links)
- (Q4625701) (← links)
- (Q4625702) (← links)
- (Q4993272) (← links)
- (Q5090460) (← links)
- (Q5136303) (← links)
- Never trust your solver: certification for SAT and QBF (Q6118810) (← links)
- Towards Uniform Certification in QBF (Q6151563) (← links)