No label defined (Q3113771)
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 5999718
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 5999718 |
Statements
23 January 2012
0 references
propositional proof complexity
0 references
optimal algorithm
0 references
0.8919619
0 references
0.8834979
0 references
0.8718277
0 references
0.86702394
0 references
0.86645234
0 references
0.86613417
0 references
0.8656762
0 references
