Resolution lower bounds for the weak pigeonhole principle

Ran Raz. Resolution lower bounds for the weak pigeonhole principle. In STOC. pages 553-562, 2002. [doi]

Abstract

Abstract is missing.