Výsledky vyhledávání
- 1.0403053 - UIVT-O 200277 DE eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan - Pudlák, Pavel - Sgall, Jiří
Interactive Computations of Optimal Solutions.
Mathematical Foundations of Computer Science. Berlin: SpringerVerlag, 1990, s. 48-60. Lecture Notes in Computer Science, 452.
[Internatiolnal Conference. Banská Bystrica (CS), 00.08.1990]
Trvalý link: http://hdl.handle.net/11104/0123416 - 2.0403043 - UIVT-O 200267 US eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan - Pudlák, Pavel
Some Consequences of Cryptographical Conjectures for S12 and EF.
Logical and Computational Complexity. Proceedings. New York: Springer Verlag, 1995 - (Leivant, D.), s. 210-220. Lecture Notes in Computer Science, 960. ISBN 3-540-60178-3.
[International Workshop LCC'94. Indianapolis (US), 13.10.1994-16.10.1994]
Trvalý link: http://hdl.handle.net/11104/0123406 - 3.0353760 - MÚ 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan
A proof complexity generator.
Logic, Methodology and Philosophy of Science. London: College Publications, 2009 - (Glymour, C.; Wang, W.; Westerstahl, D.), s. 185-190. ISBN 978-1-904987-45-1.
[International Congress in Logic, Methodology and Philosophy of Science /13./. Beijing (CN), 09.08.2007-15.08.2007]
Grant CEP: GA AV ČR IAA1019401; GA MŠMT LC505
Klíčová slova: proof complexity * hard tatologies
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0192913Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 98.2 KB Autorský postprint povolen - 4.0353758 - MÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan
From feasible proofs to feasible computations.
Computer Science Logic 2010. Heidelberg: Springer, 2010 - (Dawar, A.; Veith, H.), s. 22-31. Lecture Notes in Computer Science, 6247. ISBN 978-3-642-15204-7.
[Computer science logic 2010. Brno (CZ), 23.08.2010-27.08.2010]
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: lengths of proofs * computational time
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007%2F978-3-642-15205-4_3
Trvalý link: http://hdl.handle.net/11104/0192912Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 1 164.1 KB Vydavatelský postprint vyžádat - 5.0174806 - MU-W 990013 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan - Pudlák, Pavel - Beame, P. - Impagliazzo, R. - Pitassi, T.
Lower bounds on Hilbert's nullstellensatz and propositional proofs.
Annual Symposium on Foundation of Computer Science. Santa Fe: IEEE Computer Scientific Press, 1994, s. 794-806.
[Annual Symposium on Foundation of Computer Science. Santa Fe (US), 20.11.1994-22.11.1994]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0071805Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 1 1.1 MB Vydavatelský postprint vyžádat - 6.0174484 - MU-W 970123 RIV DD eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan
Lower bounds for a proof system with an exponential speed-up over constant-depth Frege systems and over polynomial calculus.
Mathematical Foundations of Computer Science. Berlin: SpringerVerlag, 1997 - (Růžička, P.), s. 85-90. Lecture Notes in Computer Science, 1295.
[International Symposium Mathematical Foundations of Computer Science /22./ (SK), 00.08.1997]
Grant CEP: GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071490 - 7.0174440 - MU-W 970047 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan
On methods for proving lower bounds in propositional logic.
Logic and Scientific Methods. Vol. 1. Dordrecht: Kluwer Academic Publ., 1997 - (Dalla Chiara, M.), s. 69-83
[International Congress of Logic, Methodology and Philosophy of Science /10./. Florence (IT), 19.08.1995-25.08.1995]
Grant CEP: GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071448 - 8.0174363 - MU-W 970053 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan
Valuations of Boolean formulae in partial algebras.
10th International Congress Logic, Methodology and Philosophy of Science. Florence, 1995, s. 6-7.
[International Union of History and Philosophy of Science. Florence (IT), 19.08.1995-25.08.1995]
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071373 - 9.0174069 - MU-W 950107 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan - Clote, P.
Open Problems.
Arithmetic, Proof Theory and Computational Complexity. Oxford: Oxford Press, 1993 - (Clote, P.; Krajíček, J.), s. 1-19
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071086 - 10.0173987 - MU-W 940057 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan - Buss, S. - Takeuti, G.
Provably Total Functions in Bounded Arithmetic Theories R .SUP.i .SUB.3 U.SUP.i .SUB.2 V.SUP.i .SUB.2.
Arithmetic, Proof Theory and Computational Complexity. Oxford: Oxford Press, 1993 - (Clote, P.; Krajíček, J.), s. 116-161
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071007Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 277 KB Autorský postprint povolen