Košík

    1.
    0559957 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
    Khaniki, Erfan
    On proof complexity of resolution over polynomial calculus.
    ACM Transactions on Computational Logic. Roč. 23, č. 3 (2022), č. článku 16. ISSN 1529-3785. E-ISSN 1557-945X
    Grant CEP: GA ČR(CZ) GX19-27871X
    Institucionální podpora: RVO:67985840
    Klíčová slova: lower bounds * modular counting * Polynomial Calculus * propositional pigeonhole principle
    Obor OECD: Pure mathematics
    Impakt faktor: 0.5, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1145/3506702
    Trvalý link: https://hdl.handle.net/11104/0333080
    Název souboruStaženoVelikostKomentářVerzePřístup
    Khaniki2.pdf2302.2 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