Pages that link to "Item:Q5326454"
From MaRDI portal
The following pages link to On Propositional QBF Expansions and Q-Resolution (Q5326454):
Displayed 11 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)
- Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable (Q903199) (← links)
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations (Q2058378) (← links)
- Certified DQBF solving by definition extraction (Q2118343) (← links)
- Expansion-based QBF solving versus Q-resolution (Q2339467) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- A Game Characterisation of Tree-like Q-resolution Size (Q2799200) (← links)
- Lifting QBF Resolution Calculi to DQBF (Q2818035) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)