Košík

  1. 1.
    0504571 - MÚ 2020 RIV CH eng J - Článek v odborném periodiku
    Pudlák, Pavel - Thapen, Neil
    Random resolution refutations.
    Computational Complexity. Roč. 28, č. 2 (2019), s. 185-239. ISSN 1016-3328
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: probabilistic proof * proof complexity * resolutions * witching lemma
    Kód oboru RIV: IN - Informatika
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impakt faktor: 0.850, rok: 2019
    http://dx.doi.org/10.1007/s00037-019-00182-7
    Trvalý link: http://hdl.handle.net/11104/0296173
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf1567.4 KBVydavatelský postprintvyžádat