TY  - RPRT
TI  - $P \ne NP$, propositional proof complexity, and resolution lower bounds for the weak pigeonhole principle
AU  - Ran Raz
PY  - 2003
UR  - https://arxiv.org/abs/cs/0304041
ID  - cs/0304041
ER  -