Vytisknout
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. E-ISSN 1420-8954
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: probabilistic proof * proof complexity * resolutions * witching lemma
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
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00037-019-00182-7
Trvalý link: http://hdl.handle.net/11104/0296173
Pudlák, Pavel - Thapen, Neil
Random resolution refutations.
Computational Complexity. Roč. 28, č. 2 (2019), s. 185-239. ISSN 1016-3328. E-ISSN 1420-8954
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: probabilistic proof * proof complexity * resolutions * witching lemma
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
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00037-019-00182-7
Trvalý link: http://hdl.handle.net/11104/0296173