Proof complexity of resolution-based QBF calculi (Q2954985)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6677386
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proof complexity of resolution-based QBF calculi |
scientific article; zbMATH DE number 6677386 |
Statements
24 January 2017
0 references
proof complexity
0 references
QBF
0 references
lower bound techniques
0 references
separations
0 references
0.9656842947006226
0 references
0.8594271540641785
0 references
0.8575673699378967
0 references
0.8558390140533447
0 references
0.8542342185974121
0 references
