The following pages link to (Q2954985):
Displaying 35 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable (Q903199) (← links)
- QBF as an alternative to Courcelle's theorem (Q1656581) (← 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)
- How QBF expansion makes strategy extraction hard (Q2096438) (← links)
- Hardness and optimality in QBF proof systems modulo NP (Q2118289) (← links)
- Characterising tree-like Frege proofs for QBF (Q2272983) (← links)
- Reinterpreting dependency schemes: soundness meets incompleteness in DQBF (Q2323446) (← links)
- Conformant planning as a case study of incremental QBF solving (Q2398267) (← 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)
- 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)
- On QBF Proofs and Preprocessing (Q2870148) (← links)
- On Unification of QBF Resolution-Based Calculi (Q2922598) (← 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)
- Are Short Proofs Narrow? QBF Resolution is not Simple. (Q4601867) (← links)
- (Q4625701) (← links)
- (Q4625702) (← links)
- (Q4993272) (← links)
- On Exponential Lower Bounds for Partially Ordered Resolution (Q5015597) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)
- (Q5090460) (← links)
- (Q5136303) (← links)
- Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution (Q5145632) (← links)
- Hardness Characterisations and Size-width Lower Bounds for QBF Resolution (Q5886517) (← links)
