Výsledky vyhledávání
- 1.0539556 - MÚ 2021 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
de Rezende, Susanna F. - Meir, O. - Norström, J. - Pitassi, T. - Robere, R.
Krw composition theorems via lifting.
2020 IEEE 61st Annual Symposium on Foundations of Computer Science. Los Alamitos: IEEE, 2020, s. 43-49. ISBN 978-1-7281-9622-0.
[61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020. Durham (US), 16.11.2020-19.11.2020]
Institucionální podpora: RVO:67985840
Klíčová slova: circuit complexity * circuit lower bounds * communication complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1109/FOCS46700.2020.00013
Trvalý link: http://hdl.handle.net/11104/0317276Název souboru Staženo Velikost Komentář Verze Přístup deRezende1.pdf 0 223.9 KB Vydavatelský postprint vyžádat - 2.0523286 - MÚ 2020 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Pich, Ján - Santhanamz, R.
Why are proof complexity lower bounds hard?
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS 2019). Los Alamitos: IEEE, 2019, s. 1305-1324. Annual IEEE Symposium on Foundations of Computer Science. ISBN 978-1-7281-4952-3. ISSN 0272-5428.
[60th IEEE Annual Symposium on Foundations of Computer Science (FOCS). Baltimore (US), 09.11.2019-12.11.2019]
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: computational complexity * proof complexity * circuit lower bounds
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ieeexplore.ieee.org/document/8948624
Trvalý link: http://hdl.handle.net/11104/0307653 - 3.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 - 4.0438367 - MÚ 2015 RIV NL eng J - Článek v odborném periodiku
Pich, Ján
Circuit lower bounds in bounded arithmetics.
Annals of Pure and Applied Logic. Roč. 166, č. 1 (2015), s. 29-45. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA100190902
Klíčová slova: bounded arithmetic * circuit lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.582, rok: 2015
http://www.sciencedirect.com/science/article/pii/S0168007214000888
Trvalý link: http://hdl.handle.net/11104/0241791