Počet záznamů: 1
Lifting with simple gadgets and applications to circuit and proof complexity
- 1.
SYSNO 0539558 Název Lifting with simple gadgets and applications to circuit and proof complexity Tvůrce(i) de Rezende, Susanna F. (MU-W) ORCID, SAI, RID
Meir, O. (IL)
Norström, J. (SE)
Pitassi, T. (US)
Robere, R. (CA)
Vinyals, M. (IL)Zdroj.dok. 2020 IEEE 61st Annual Symposium on Foundations of Computer Science. S. 24-30. - Los Alamitos : IEEE, 2020 Konference 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, 16.11.2020 - 19.11.2020, Durham Druh dok. Konferenční příspěvek (zahraniční konf.) Institucionální podpora MU-W - RVO:67985840 Jazyk dok. eng Země vyd. US Klíč.slova circuit complexity * communication complexity * cutting planes Spolupracující instituce University of Haifa (Izrael)
University of Copenhagen (Dánsko)
McGill University (Kanada)
University of Toronto (Kanada)
Technion – Israel Institute of Technology (Izrael)URL https://doi.org/10.1109/FOCS46700.2020.00011 Trvalý link http://hdl.handle.net/11104/0317277 Název souboru Staženo Velikost Komentář Verze Přístup deRezende2.pdf 0 209.6 KB Vydavatelský postprint vyžádat
Počet záznamů: 1