%0 Conference Paper %1 conf/focs/RezendeMNPRV20 %A de Rezende, Susanna F. %A Meir, Or %A Nordström, Jakob %A Pitassi, Toniann %A Robere, Robert %A Vinyals, Marc %B FOCS %D 2020 %E Irani, Sandy %I IEEE %K dblp %P 24-30 %T Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity. %U http://dblp.uni-trier.de/db/conf/focs/focs2020.html#RezendeMNPRV20 %@ 978-1-7281-9621-3

@inproceedings{conf/focs/RezendeMNPRV20, added-at = {2022-10-02T00:00:00.000+0200}, author = {de Rezende, Susanna F. and Meir, Or and Nordström, Jakob and Pitassi, Toniann and Robere, Robert and Vinyals, Marc}, biburl = {https://www.bibsonomy.org/bibtex/24c44f8b0ee89d8236e6669d201c0f383/dblp}, booktitle = {FOCS}, crossref = {conf/focs/2020}, editor = {Irani, Sandy}, ee = {https://doi.org/10.1109/FOCS46700.2020.00011}, interhash = {12b4de337eacb8d32e7660184b22467e}, intrahash = {4c44f8b0ee89d8236e6669d201c0f383}, isbn = {978-1-7281-9621-3}, keywords = {dblp}, pages = {24-30}, publisher = {IEEE}, timestamp = {2024-04-09T13:25:05.000+0200}, title = {Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity.}, url = {http://dblp.uni-trier.de/db/conf/focs/focs2020.html#RezendeMNPRV20}, year = 2020 }