Pages that link to "Item:Q1656581"
From MaRDI portal
The following pages link to QBF as an alternative to Courcelle's theorem (Q1656581):
Displaying 6 items.
- On Stronger Calculi for QBFs (Q2818031) (← links)
- Bounded-width QBF is PSPACE-complete (Q2957870) (← links)
- Small Resolution Proofs for QBF using Dependency Treewidth (Q3304126) (← links)
- (Q5090465) (← links)
- Default logic and bounded treewidth (Q5918613) (← links)
- Reasoning in assumption-based argumentation using tree-decompositions (Q6545531) (← links)