Košík

    1.
    0466751 - MÚ 2017 RIV US eng J - Článek v odborném periodiku
    Bonacina, I. - Galesi, N. - Thapen, Neil
    Total space in resolution.
    Siam Journal on Computing. Roč. 45, č. 5 (2016), s. 1894-1909. ISSN 0097-5397. E-ISSN 1095-7111
    Grant CEP: GA ČR GBP202/12/G061
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: total space * resolution random CNFs * proof complexity
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 1.433, rok: 2016
    http://epubs.siam.org/doi/10.1137/15M1023269
    Trvalý link: http://hdl.handle.net/11104/0264987
    Název souboruStaženoVelikostKomentářVerzePřístup
    Thapen2.pdf8493.9 KBVydavatelský postprintvyžádat
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše