@misc{https://doi.org/10.48550/arxiv.2001.02144,
doi = {10.48550/ARXIV.2001.02144},
url = {https://arxiv.org/abs/2001.02144},
author = {de Rezende,
Susanna F. and Meir,
Or and Nordström,
Jakob and Pitassi,
Toniann and Robere,
Robert and Vinyals,
Marc},
keywords = {Computational Complexity (cs.CC),
Discrete Mathematics (cs.DM),
Logic in Computer Science (cs.LO),
FOS: Computer and information sciences,
FOS: Computer and information sciences,
F.2.2; F.2.3; F.4.1},
title = {Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity},
publisher = {arXiv},
year = {2020},
copyright = {arXiv.org perpetual,
non-exclusive license} }