| Title | Hardness Amplification in Proof Complexity |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Beame P, Huynh T, Pitassi T |
| Conference Name | Proceedings of the Forty-Second Annual ACM Symposium on Theory of Computing |
| Pagination | 87–96 |
| Date or Month Published | June |
| Conference Location | Cambridge, MA |
| Citation Key | bhp:lift |
