Alexander A. Razborov. Resolution lower bounds for the weak functional pigeonhole principle. Theoretical Computer Science, 1(303):233-243, 2003. [doi]
@article{Razborov03, title = {Resolution lower bounds for the weak functional pigeonhole principle}, author = {Alexander A. Razborov}, year = {2003}, doi = {10.1016/S0304-3975(02)00453-X}, url = {http://dx.doi.org/10.1016/S0304-3975(02)00453-X}, researchr = {https://researchr.org/publication/Razborov03}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {1}, number = {303}, pages = {233-243}, }