Search results

  1. 1.
    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
    R&D Projects: GA ČR(CZ) GX19-27871X
    Institutional support: RVO:67985840
    Keywords : deterministic condensers * extractors * randomness * Santha-Vazirani sources
    Subject RIV: BA - General Mathematics
    OBOR OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 0.497, year: 2019
    https://doi.org/10.1007/s00224-020-09975-8
    Permanent Link: http://hdl.handle.net/11104/0309977
    FileDownloadSizeCommentaryVersionAccess
    Gavinsky2.pdf0373.8 KBPublisher’s postprintrequire
     
  2. 2.
    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
    Subject RIV: BA - General Mathematics
    OBOR OECD: Pure mathematics
    http://dx.doi.org/10.1145/3337787
    Permanent Link: http://hdl.handle.net/11104/0301620
    FileDownloadSizeCommentaryVersionAccess
    Pudlak1.pdf1431 KBPublisher’s postprintopen-access
     
  3. 3.
    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
    EU Projects: European Commission(XE) 339691 - FEALORA
    Institutional support: RVO:67985840
    Keywords : probabilistic proof * proof complexity * resolutions * witching lemma
    Subject RIV: IN - Informatics, Computer Science
    OBOR OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 0.850, year: 2019
    http://dx.doi.org/10.1007/s00037-019-00182-7
    Permanent Link: http://hdl.handle.net/11104/0296173
    FileDownloadSizeCommentaryVersionAccess
    Pudlak.pdf1567.4 KBPublisher’s postprintrequire
     
  4. 4.
    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
    EU Projects: European Commission(XE) 339691 - FEALORA
    Institutional support: RVO:67985840
    Keywords : finite domain
    Subject RIV: BA - General Mathematics
    OBOR OECD: 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/0282020
    FileDownloadSizeCommentaryVersionAccess
    Pudlak4.pdf8623 KBPublisher’s postprintrequire
     
  5. 5.
    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
    EU Projects: European Commission(XE) 339691 - FEALORA
    Institutional support: RVO:67985840
    Keywords : linear arithmetics
    Subject RIV: BA - General Mathematics
    OBOR OECD: Pure mathematics
    Impact factor: 0.522, year: 2017
    Permanent Link: http://hdl.handle.net/11104/0279883
    FileDownloadSizeCommentaryVersionAccess
    Glivicky1.pdf2170.3 KBPublisher’s postprintrequire
     
  6. 6.
    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
    EU Projects: European Commission(XE) 339691 - FEALORA
    Institutional support: RVO:67985840
    Keywords : computational complexity * monotone real circuit * Karchmer-Wigderson game
    Subject RIV: IN - Informatics, Computer Science
    OBOR OECD: 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/0278383
    FileDownloadSizeCommentaryVersionAccess
    Hrubes.pdf3264.6 KBPublisher’s postprintrequire
     
  7. 7.
    0474390 - MÚ 2018 RIV HU eng J - Journal Article
    Lauria, M. - Pudlák, Pavel - Rödl, V. - Thapen, Neil
    The complexity of proving that a graph is Ramsey.
    Combinatorica. Roč. 37, č. 2 (2017), s. 253-268. ISSN 0209-9683
    R&D Projects: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institutional support: RVO:67985840
    Keywords : complexity * c-Ramsey graphs
    Subject RIV: BA - General Mathematics
    OBOR OECD: Pure mathematics
    Impact factor: 1.406, year: 2017
    http://link.springer.com/article/10.1007%2Fs00493-015-3193-9
    Permanent Link: http://hdl.handle.net/11104/0271451
    FileDownloadSizeCommentaryVersionAccess
    Pudlak1.pdf7433.6 KBPublisher’s postprintrequire
     
  8. 8.
    0473687 - MÚ 2018 RIV US eng J - Journal Article
    Gavinsky, Dmitry - Pudlák, Pavel
    Partition expanders.
    Theory of Computing Systems. Roč. 60, č. 3 (2017), s. 378-395. ISSN 1432-4350
    R&D Projects: GA ČR GBP202/12/G061
    Institutional support: RVO:67985840
    Keywords : expanders * pseudorandomness * communication complexity
    Subject RIV: BA - General Mathematics
    OBOR OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 0.458, year: 2017
    http://link.springer.com/article/10.1007%2Fs00224-016-9738-5
    Permanent Link: http://hdl.handle.net/11104/0270815
    FileDownloadSizeCommentaryVersionAccess
    Pudlak.pdf1284.9 KBPublisher’s postprintrequire
     
  9. 9.
    0463333 - MÚ 2017 RIV CZ eng J - Journal Article
    Gavinsky, Dmitry - Pudlák, Pavel
    On the joint entropy of d-wise-independent variables.
    Commentationes Mathematicae Universitatis Carolinae. Roč. 57, č. 3 (2016), s. 333-343. ISSN 0010-2628
    R&D Projects: GA ČR GBP202/12/G061
    Institutional support: RVO:67985840
    Keywords : d-wise-independent variables * entropy * lower bound
    Subject RIV: BA - General Mathematics
    OBOR OECD: Pure mathematics
    http://hdl.handle.net/10338.dmlcz/145838
    Permanent Link: http://hdl.handle.net/11104/0262546
    FileDownloadSizeCommentaryVersionAccess
    Gavinsky.pdf2139.5 KBPublisher’s postprintopen-access
     
  10. 10.
    0450633 - MÚ 2017 RIV US eng J - Journal Article
    Pudlák, Pavel
    Linear tree codes and the problem of explicit constructions.
    Linear Algebra and Its Applications. Roč. 490, February 1 (2016), s. 124-144. ISSN 0024-3795
    R&D Projects: GA ČR GBP202/12/G061
    Institutional support: RVO:67985840
    Keywords : tree code * error correcting code * triangular totally nonsingular matrix
    Subject RIV: BA - General Mathematics
    Impact factor: 0.973, year: 2016
    http://www.sciencedirect.com/science/article/pii/S002437951500645X
    Permanent Link: http://hdl.handle.net/11104/0251898
    FileDownloadSizeCommentaryVersionAccess
    Pudlak.pdf6393.3 KBPublisher’s postprintrequire