Pages that link to "Item:Q2843326"
From MaRDI portal
The following pages link to On Sequent Systems and Resolution for QBFs (Q2843326):
Displaying 9 items.
- Understanding cutting planes for QBFs (Q1784953) (← 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 (Q2424676) (← links)
- A Game Characterisation of Tree-like Q-resolution Size (Q2799200) (← links)
- On Stronger Calculi for QBFs (Q2818031) (← links)
- Lifting QBF Resolution Calculi to DQBF (Q2818035) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- Quantified Constraints in Twenty Seventeen (Q4993605) (← links)
