Clear all
2020 • Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity

Works in BIP! associated with the specified OpenAIRE research product

Susanna de Rezende, Or Meir, Jakob Nordstrom, Toniann Pitassi, Robert Robere, Marc Vinyals
2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) · 2020
 N/A