0523269 - MÚ 2021 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Chen, L. - Hirahara, S. - Oliveira, I.C. - Pich, Ján - Rajgopal, N. - Santhanamz, R.Beyond natural proofs: Hardness magnification and locality.
11th Innovations in Theoretical Computer Science Conference (ITCS 2020). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2020 - (Vidick, T.), č. článku 70. Leibniz International Proceedings in Informatics (LIPIcs), 151. ISBN 978-3-95977-134-4. ISSN 1868-8969.
[11th Innovations in Theoretical Computer Science Conference (ITCS 2020). Seattle (US), 12.01.2020-14.01.2020]
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: hardness magnification * natural proofs * minimum circuit size problem * circuit lower bounds
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://drops.dagstuhl.de/opus/volltexte/2020/11755/
Trvalý link: http://hdl.handle.net/11104/0307638