TitleHardness Amplification in Proof Complexity
Publication TypeMiscellaneous
Year of Publication2009
AuthorsBeame P, Huynh T, Pitassi T
Citation Keybhp:lift-eccc