@inproceedings{de_Rezende_2020,
title={Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity},
url={http://dx.doi.org/10.1109/focs46700.2020.00011},
DOI={10.1109/focs46700.2020.00011},
booktitle={2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS)},
publisher={IEEE},
author={de Rezende,
Susanna and Meir,
Or and Nordstrom,
Jakob and Pitassi,
Toniann and Robere,
Robert and Vinyals,
Marc},
year={2020},
month=nov }