Resolution lower bounds for the weak functional pigeonhole principle

Alexander A. Razborov. Resolution lower bounds for the weak functional pigeonhole principle. Theoretical Computer Science, 1(303):233-243, 2003. [doi]

Abstract

Abstract is missing.