TitleHardness Amplification in Proof Complexity
Publication TypeConference Paper
Year of Publication2010
AuthorsBeame P, Huynh T, Pitassi T
Conference NameProceedings of the Forty-Second Annual ACM Symposium on Theory of Computing
Pagination87–96
Date or Month Publishedjun
Conference LocationCambridge, MA
Citation Keybhp:lift