Search results
- 1.0561963 - MÚ 2023 RIV HU eng J - Journal Article
Pudlák, Pavel - Rödl, V.
Extractors for small zero-fixing sources.
Combinatorica. Roč. 42, č. 4 (2022), s. 587-616. ISSN 0209-9683. E-ISSN 1439-6912
R&D Projects: GA ČR(CZ) GX19-27871X
Institutional support: RVO:67985840
Keywords : deterministic extracors * graphs
OECD category: Pure mathematics
Impact factor: 1.1, year: 2022
Method of publishing: Limited access
https://doi.org/10.1007/s00493-020-4626-7
Permanent Link: https://hdl.handle.net/11104/0334398File Download Size Commentary Version Access Pudlak1.pdf 2 528.8 KB Publisher’s postprint require - 2.0549290 - MÚ 2022 RIV CZ cze J - Journal Article
Pudlák, Pavel
Abelova cena pro Aviho Wigdersona.
[The Abel Prize for Avi Wigderson.]
Pokroky matematiky, fyziky & astronomie. Roč. 66, č. 3 (2021), s. 149-156. ISSN 0032-2423
Institutional support: RVO:67985840
Keywords : Abel prize * discrete mathematics * theoretical computer science
OECD category: Pure mathematics
Method of publishing: Open access with time embargo
http://hdl.handle.net/10338.dmlcz/149217
Permanent Link: http://hdl.handle.net/11104/0325313File Download Size Commentary Version Access Pudlak1.pdf 3 566.1 KB Publisher’s postprint open-access - 3.0546790 - MÚ 2023 RIV NL eng J - Journal Article
Pudlák, Pavel
On matrices potentially useful for tree codes.
Information Processing Letters. Roč. 174, March (2022), č. článku 106180. ISSN 0020-0190. E-ISSN 1872-6119
R&D Projects: GA ČR(CZ) GX19-27871X
Institutional support: RVO:67985840
Keywords : theory of computation * matrix * tree code * finite field * singleton bound
OECD category: Pure mathematics
Impact factor: 0.5, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.ipl.2021.106180
Permanent Link: http://hdl.handle.net/11104/0323169File Download Size Commentary Version Access Pudlak.pdf 2 234 KB Publisher’s postprint require - 4.0535773 - MÚ 2022 RIV NL eng J - Journal Article
Pudlák, Pavel
The canonical pairs of bounded depth Frege systems.
Annals of Pure and Applied Logic. Roč. 172, č. 2 (2021), č. článku 102892. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR(CZ) GX19-27871X
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : circuits * complexity * games * proofs
OECD category: Pure mathematics
Impact factor: 0.776, year: 2021
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2020.102892
Permanent Link: http://hdl.handle.net/11104/0313709File Download Size Commentary Version Access Pudlak.pdf 3 676.3 KB Publisher’s postprint require - 5.0531290 - MÚ 2021 RIV US eng J - Journal Article
Gavinsky, Dmitry - Pudlák, Pavel
Santha-Vazirani sources, deterministic condensers and very strong extractors.
Theory of Computing Systems. Roč. 64, č. 6 (2020), s. 1140-1154. ISSN 1432-4350. E-ISSN 1433-0490
R&D Projects: GA ČR(CZ) GX19-27871X
Institutional support: RVO:67985840
Keywords : deterministic condensers * extractors * randomness * Santha-Vazirani sources
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.582, year: 2020
Method of publishing: Limited access
https://doi.org/10.1007/s00224-020-09975-8
Permanent Link: http://hdl.handle.net/11104/0309977File Download Size Commentary Version Access Gavinsky2.pdf 2 373.8 KB Publisher’s postprint require - 6.0511322 - MÚ 2020 RIV US eng J - Journal Article
de Oliveira Oliveira, M. - Pudlák, Pavel
Representations of monotone Boolean functions by linear programs.
ACM Transactions on Computation Theory. Roč. 11, č. 4 (2019), č. článku 22. ISSN 1942-3454
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : monotone linear programming circuits * Lovász-Schrijver proof systems * feasible interpolation
OECD category: Pure mathematics
Method of publishing: Open access
http://dx.doi.org/10.1145/3337787
Permanent Link: http://hdl.handle.net/11104/0301620File Download Size Commentary Version Access Pudlak1.pdf 1 431 KB Publisher’s postprint open-access - 7.0504571 - MÚ 2020 RIV CH eng J - Journal Article
Pudlák, Pavel - Thapen, Neil
Random resolution refutations.
Computational Complexity. Roč. 28, č. 2 (2019), s. 185-239. ISSN 1016-3328. E-ISSN 1420-8954
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : probabilistic proof * proof complexity * resolutions * witching lemma
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.850, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1007/s00037-019-00182-7
Permanent Link: http://hdl.handle.net/11104/0296173File Download Size Commentary Version Access Pudlak.pdf 1 567.4 KB Publisher’s postprint require - 8.0487354 - MÚ 2019 RIV US eng J - Journal Article
Pudlák, Pavel
Incompleteness in the finite domain.
Bulletin of Symbolic Logic. Roč. 23, č. 4 (2017), s. 405-441. ISSN 1079-8986. E-ISSN 1943-5894
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : finite domain
OECD category: Pure mathematics
Impact factor: 0.613, year: 2017
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/incompleteness-in-the-finite-domain/D239B1761A73DCA534A4805A76D81C76
Permanent Link: http://hdl.handle.net/11104/0282020File Download Size Commentary Version Access Pudlak4.pdf 8 623 KB Publisher’s postprint require - 9.0484738 - MÚ 2018 RIV DE eng J - Journal Article
Glivický, Petr - Pudlák, Pavel
A wild model of linear arithmetic and discretely ordered modules.
Mathematical Logic Quarterly. Roč. 63, č. 6 (2017), s. 501-508. ISSN 0942-5616. E-ISSN 1521-3870
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : linear arithmetics
OECD category: Pure mathematics
Impact factor: 0.522, year: 2017
Permanent Link: http://hdl.handle.net/11104/0279883File Download Size Commentary Version Access Glivicky1.pdf 2 170.3 KB Publisher’s postprint require - 10.0482972 - MÚ 2019 RIV NL eng J - Journal Article
Hrubeš, Pavel - Pudlák, Pavel
A note on monotone real circuits.
Information Processing Letters. Roč. 131, March (2018), s. 15-19. ISSN 0020-0190. E-ISSN 1872-6119
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : computational complexity * monotone real circuit * Karchmer-Wigderson game
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.914, year: 2018
http://www.sciencedirect.com/science/article/pii/S0020019017301965?via%3Dihub
Permanent Link: http://hdl.handle.net/11104/0278383File Download Size Commentary Version Access Hrubes.pdf 4 264.6 KB Publisher’s postprint require