Resolution lower bounds for the weak pigeonhole principle (Q5501187)
From MaRDI portal
scientific article; zbMATH DE number 6468745
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Resolution lower bounds for the weak pigeonhole principle |
scientific article; zbMATH DE number 6468745 |
Statements
Resolution lower bounds for the weak pigeonhole principle (English)
0 references
1 August 2015
0 references
