Počet záznamů: 1
Random resolution refutations
- 1.
SYSNO 0504571 Název Random resolution refutations Tvůrce(i) Pudlák, Pavel (MU-W) RID, SAI
Thapen, Neil (MU-W) RID, SAIZdroj.dok. Computational Complexity. Roč. 28, č. 2 (2019), s. 185-239. - : Springer Druh dok. Článek v odborném periodiku Grant 339691, XE - země EU Institucionální podpora MU-W - RVO:67985840 Jazyk dok. eng Země vyd. CH Klíč.slova probabilistic proof * proof complexity * resolutions * witching lemma URL http://dx.doi.org/10.1007/s00037-019-00182-7 Trvalý link http://hdl.handle.net/11104/0296173 Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 567.4 KB Vydavatelský postprint vyžádat
Počet záznamů: 1