Výsledky vyhledávání
- 1.0507214 - ÚI 2020 eng V - Výzkumná zpráva
Pich, Ján - Müller, M.
Feasibly constructive proofs of succinct weak circuit lower bounds.
Trier, 2017. Electronic Colloquium on Computational Complexity, TR17-144. ISSN 1433-8092
https://eccc.weizmann.ac.il/report/2017/144/
Trvalý link: http://hdl.handle.net/11104/0298255