Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity

Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere, Susanna F. de Rezende. Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity. Electronic Colloquium on Computational Complexity (ECCC), 26:186, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: