Výsledky vyhledávání
- 1.0507204 - ÚI 2020 DE eng J - Článek v odborném periodiku
Pich, Ján
Nisan-Wigderson generators in proof systems with forms of interpolation.
Mathematical Logic Quarterly. Roč. 57, č. 4 (2011), s. 379-383. ISSN 0942-5616. E-ISSN 1521-3870
Klíčová slova: lower bounds * complexity * Nisan-Wigderson generator * proof complexity * feasible interpolation
Impakt faktor: 0.496, rok: 2011
Trvalý link: http://hdl.handle.net/11104/0298248 - 2.0385494 - MÚ 2013 RIV DE eng J - Článek v odborném periodiku
Krajíček, Jan
Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator.
Logical Methods in Computer Science. Roč. 8, č. 3 (2012), 09. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA AV ČR IAA100190902
Klíčová slova: Nisan-Wigderson generator * interactive computation * hard core
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.440, rok: 2012
http://www.lmcs-online.org/ojs/viewarticle.php?id=1134&layout=abstract
Trvalý link: http://hdl.handle.net/11104/0214718Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 3 147.9 KB Vydavatelský postprint povolen - 3.0369662 - MÚ 2012 RIV SG eng J - Článek v odborném periodiku
Krajíček, Jan
On the proof complexity of the Nisan-Wigderson generator based on a hard NP boolean AND coNP function.
Journal of Mathematical Logic. Roč. 11, č. 1 (2011), s. 11-27. ISSN 0219-0613. E-ISSN 1793-6691
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: proof complexity * Nisan-Wigderson generator
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.500, rok: 2011
http://www.worldscinet.com/jml/11/1101/S0219061311000979.html
Trvalý link: http://hdl.handle.net/11104/0203675Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 3 436.2 KB Vydavatelský postprint vyžádat