Výsledky vyhledávání
- 1.0430340 - MÚ 2015 RIV GB eng J - Článek v odborném periodiku
Krajíček, Jan
On the computational complexity of finding hard tautologies.
Bulletin of the London Mathematical Society. Roč. 46, č. 1 (2014), s. 111-125. ISSN 0024-6093. E-ISSN 1469-2120
Grant CEP: GA AV ČR IAA100190902
Klíčová slova: computational complexity * propositional proof systems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.704, rok: 2014
http://blms.oxfordjournals.org/content/46/1/111
Trvalý link: http://hdl.handle.net/11104/0235340Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 1 215.2 KB Vydavatelský postprint vyžádat - 2.0402831 - UIVT-O 980007 RIV PL eng J - Článek v odborném periodiku
Baaz, M. - Hájek, Petr - Krajíček, Jan - Švejda, David
Embedding Logics into Product Logic.
Studia Logica. Roč. 61, č. 1 (1998), s. 35-47. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA AV ČR IAA1030601
Grant ostatní: COST(XE) Action 15
Klíčová slova: fuzzy logic * Lukasiewicz logic * Gödel logic * product logic * computational complexity * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0123207Název souboru Staženo Velikost Komentář Verze Přístup a0402831.pdf 2 580.4 KB Vydavatelský postprint vyžádat - 3.0395501 - MÚ 2014 RIV DE eng J - Článek v odborném periodiku
Krajíček, Jan
A saturation property of structures obtained by forcing with a compact family of random variables.
Archive for Mathematical Logic. Roč. 52, 1-2 (2013), s. 19-28. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA AV ČR IAA100190902
Klíčová slova: Boolean-valued structures * saturation property * non-standard model of arithmetic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.324, rok: 2013
http://link.springer.com/article/10.1007%2Fs00153-012-0304-9
Trvalý link: http://hdl.handle.net/11104/0223523Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 4 173.3 KB Vydavatelský postprint vyžádat - 4.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 - 5.0380502 - MÚ 2013 RIV NL eng J - Článek v odborném periodiku
Krajíček, Jan
A note on SAT algorithms and proof complexity.
Information Processing Letters. Roč. 112, č. 12 (2012), s. 490-493. ISSN 0020-0190. E-ISSN 1872-6119
Grant CEP: GA AV ČR IAA100190902
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: computational complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.488, rok: 2012
http://www.sciencedirect.com/science/article/pii/S0020019012000774
Trvalý link: http://hdl.handle.net/11104/0211194Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 3 136.5 KB Vydavatelský postprint vyžádat - 6.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 - 7.0369652 - MÚ 2012 RIV DE eng J - Článek v odborném periodiku
Krajíček, Jan
A note on propositional proof complexity of some Ramsey-type statements.
Archive for Mathematical Logic. Roč. 50, 1-2 (2011), s. 245-255. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: proof complexity * Ramsey theorem * resolution
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.341, rok: 2011
http://www.springerlink.com/content/q27255801x225772/
Trvalý link: http://hdl.handle.net/11104/0203666Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 2 188.1 KB Vydavatelský postprint vyžádat - 8.0353751 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
Krajíček, Jan
A form of feasible interpolation for constant depth Frege systems.
Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: feasible interpolation * Frege proof systems * lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.584, rok: 2010
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Trvalý link: http://hdl.handle.net/11104/0192907Název souboru Staženo Velikost Komentář Verze Přístup Krajicek2.pdf 1 134.5 KB Vydavatelský postprint vyžádat - 9.0175433 - MU-W 20030187 RIV SG eng J - Článek v odborném periodiku
Krajíček, Jan
Dehn function and length of proofs.
International Journal of Algebra and Computation. Roč. 13, č. 5 (2003), s. 527-542. ISSN 0218-1967. E-ISSN 1793-6500
Výzkumný záměr: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Klíčová slova: Dehn function * proof complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.457, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0072416Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 1 198.4 KB Vydavatelský postprint vyžádat - 10.0175432 - MU-W 20030186 RIV DE eng J - Článek v odborném periodiku
Krajíček, Jan
Interpolation and approximate semantic derivations.
Mathematical Logic Quarterly. Roč. 48, č. 4 (2002), s. 602-606. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA AV ČR IAA1019901; GA MŠMT LN00A056
Výzkumný záměr: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Klíčová slova: feasible interpolation * proof complexity * approximation method
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.365, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0072415Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 132.2 KB Vydavatelský postprint vyžádat