Výsledky vyhledávání
- 1.0447653 - MÚ 2016 RIV DE eng M - Část monografie knihy
Paturi, R. - Pudlák, Pavel - Saks, M. - Zane, F.
Backtracking based k-SAT algorithms.
Encyclopedia of Algorithms. Berlin: Springer, 2015 - (Kao, M.), s. 1-6. ISBN 978-3-642-27848-8
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * algorithms
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/referenceworkentry/10.1007/978-3-642-27848-8_45-2
Trvalý link: http://hdl.handle.net/11104/0249436Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 132.6 KB Vydavatelský postprint vyžádat - 2.0422148 - MÚ 2014 RIV US eng M - Část monografie knihy
Pudlák, Pavel
Randomness, pseudorandomness and models of arithmetic.
New Studies in Weak Arithmetics. 1. Stanford: Center for the Study of Language and Information, 2013 - (Cégielski, P.; Cornaros, C.; Dimitracopoulos, C.), s. 199-216. CSLI Lecture Notes, vol. 211. ISBN 978-1-57586-723-6
Grant CEP: GA AV ČR IAA100190902
Institucionální podpora: RVO:67985840
Klíčová slova: pseudorandomness * number theory
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0228428Název souboru Staženo Velikost Komentář Verze Přístup Pudlak3.pdf 1 5.9 MB Vydavatelský postprint vyžádat - 3.0174516 - MU-W 980024 RIV US eng M - Část monografie knihy
Pudlák, Pavel - Sgall, Jiří
Algebraic models of computation and interpolation for algebraic proof systems.
Proof Complexity and Feasible Arithmetic. New York: AMS, 1998 - (Buss, S.), s. 279-296. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 39
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0071522Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 279.5 KB Autorský postprint povolen - 4.0174349 - MU-W 960173 RIV DE eng M - Část monografie knihy
Pudlák, Pavel - Sgall, Jiří
An upper bound for a communication game related to space-time tradeoffs.
Berlin: Springer, 1996. Algorithms and Combinatorics, 13. In: The Mathematics of Paul Erdös., s. 393-399
Grant CEP: GA AV ČR IAA119107
Grant ostatní: US-CZ Science and Technology Program 93025
Zdroj financování: US
Trvalý link: http://hdl.handle.net/11104/0071360 - 5.0174176 - MU-W 950127 RIV US eng M - Část monografie knihy
Krause, M. - Pudlák, Pavel
On Computing boolean functions by sparse real polynomials.
IEEE, 1995. In: Proceedings IEEE FOCS., s. 682-691
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071190Název souboru Staženo Velikost Komentář Verze Přístup Pudlak2.pdf 1 840.9 KB Vydavatelský postprint vyžádat - 6.0174175 - MU-W 950126 RIV DE eng M - Část monografie knihy
Pudlák, Pavel - Buss, S.R.
How to Lie without being (easily) convicted and the lengths of proofs in propositional calculas.
Berlin: Springer, 1995. Lecture Notes in Computer Science, 933. ISBN 3-540-60017-5. In: Computer Science Logic '94., s. 151-162
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071189Název souboru Staženo Velikost Komentář Verze Přístup Pudlak3.pdf 1 212.8 KB Autorský postprint vyžádat - 7.0174113 - MU-W 950124 RIV US eng M - Část monografie knihy
Pudlák, Pavel
Complexity theory and genetics.
IEEE, 1994. In: Proceedings Structure in Complexity Theory., s. 383-395
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071130Název souboru Staženo Velikost Komentář Verze Přístup Pudlak2.pdf 1 1.1 MB Vydavatelský postprint vyžádat - 8.0041114 - MÚ 2007 RIV DE eng M - Část monografie knihy
Pudlák, Pavel
On Explicit Ramsey Graphs and Estimates of the Number of Sums and Products.
[O explicitních Ramseyovských grafech a odhadech na počet součtů a součinů.]
Topics in Discrete Mathematics. Dedicated to Jarik Nešetřil on the Occasion of his 60th Birthday. Berlin: Springer, 2006 - (Klazar, M.; Kratochvíl, J.; Loebl, M.; Matoušek, J.; Thomas, R.; Valtr, P.), s. 169-175. Algorithms and Combinatorics, 26. ISBN 3-540-33698-2
Grant CEP: GA AV ČR(CZ) IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Ramsey graphs * explicit constructions
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0134688Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 152.4 KB Autorský postprint povolen - 9.0027278 - MÚ 2006 RIV RU eng M - Část monografie knihy
Paturi, R. - Pudlák, Pavel
Circuit lower bounds and linear codes.
[Dolní odhady na obvody a lineární kódy.]
Notes of Mathematical Seminars of St. Petersburg Department of Steklov Institute of Mathematics. Vol. 316. St. Petersburg: Steklov Institute of Mathematics, 2004 - (Hirsch, E.), s. 188-204
Grant CEP: GA AV ČR(CZ) IAA1019401
Výzkumný záměr: CEZ:AV0Z1019905
Klíčová slova: linear codes * algebraic circuits
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0117394Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 1.5 MB Autorský postprint povolen - 10.0021599 - MÚ 2006 RIV IT eng M - Část monografie knihy
Pudlák, Pavel - Rödl, V.
Pseudorandom sets and explicit constructions of Ramsey graphs.
[Pseudonáhodné množiny a ramseyovské grafy.]
Complexity of computations and proofs. Napoli: Dipartimento di Matematica della Seconda Universita di Napoli, 2004 - (Krajíček, J.), s. 327-346. Quaderni di matematica, 13. ISBN 88-7999-413-1
Grant CEP: GA AV ČR(CZ) IAA1019401
Výzkumný záměr: CEZ:AV0Z1019905
Klíčová slova: ramsey graphs * explicit constructions
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0110538Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 273.1 KB Autorský preprint povolen