Košík

  1. 1.
    0511322 - MÚ 2020 RIV US eng J - Článek v odborném periodiku
    de Oliveira Oliveira, M. - Pudlák, Pavel
    Representations of monotone Boolean functions by linear programs.
    ACM Transactions on Computation Theory. Roč. 11, č. 4 (2019), č. článku 22. ISSN 1942-3454
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: monotone linear programming circuits * Lovász-Schrijver proof systems * feasible interpolation
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Pure mathematics
    http://dx.doi.org/10.1145/3337787
    Trvalý link: http://hdl.handle.net/11104/0301620
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak1.pdf1431 KBVydavatelský postprintpovolen