Supercritical space-width trade-offs for resolution (Q5215515)
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 7166152
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Supercritical space-width trade-offs for resolution |
scientific article; zbMATH DE number 7166152 |
Statements
Supercritical Space-Width Trade-offs for Resolution (English)
0 references
12 February 2020
0 references
proof complexity
0 references
resolution
0 references
space
0 references
width
0 references
trade-offs
0 references
supercritical
0 references
0 references
0.9996204376220704
0 references
0.8516182899475098
0 references
0.8391868472099304
0 references
0.8299989700317383
0 references
0.8191254138946533
0 references
