A New Rank Technique for Formula Size Lower Bounds (Q3590928)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A New Rank Technique for Formula Size Lower Bounds |
scientific article; zbMATH DE number 5186504
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A New Rank Technique for Formula Size Lower Bounds |
scientific article; zbMATH DE number 5186504 |
Statements
A New Rank Technique for Formula Size Lower Bounds (English)
0 references
3 September 2007
0 references
0.8114051222801208
0 references
0.8014256358146667
0 references
0.7897195219993591
0 references
0.7849407196044922
0 references
0.7832828760147095
0 references
