Small Resolution Proofs for QBF using Dependency Treewidth (Q3304126)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Small Resolution Proofs for QBF using Dependency Treewidth |
scientific article |
Statements
5 August 2020
0 references
QBF
0 references
treewidth
0 references
fixed-parameter tractability
0 references
dependency schemes
0 references
Small Resolution Proofs for QBF using Dependency Treewidth (English)
0 references
