Strong (D)QBF dependency schemes via tautology-free resolution paths (Q2661365)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong (D)QBF dependency schemes via tautology-free resolution paths |
scientific article |
Statements
Strong (D)QBF dependency schemes via tautology-free resolution paths (English)
0 references
7 April 2021
0 references
DQBF
0 references
dependency schemes
0 references
proof complexity
0 references
QBF
0 references
