TY  - RPRT
TI  - Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
AU  - Susanna F. de Rezende
AU  - Or Meir
AU  - Jakob Nordström
AU  - Toniann Pitassi
AU  - Robert Robere
AU  - Marc Vinyals
PY  - 2020
UR  - https://arxiv.org/abs/2001.02144
ID  - 2001.02144
ER  -