Košík

  1. 1.
    0422140 - MÚ 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Pudlák, Pavel
    On extracting computations from propositional proofs.
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Wadem: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2010 - (Lodaya, K.; Mahajan, M.), s. 30-41. Leibniz International Proceedings in Informatics, vol. 8. ISBN 978-3-939897-23-1.
    [International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), /30./. Chennai (IN), 15.12.2010-16.12.2010]
    Grant CEP: GA AV ČR IAA100190902; GA MŠk(CZ) 1M0545
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: proof complexity * propositional tautology * boolean circuits
    Kód oboru RIV: BA - Obecná matematika
    http://drops.dagstuhl.de/opus/volltexte/2010/2851/
    Trvalý link: http://hdl.handle.net/11104/0228350
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak2.pdf1424.5 KBVydavatelský postprintpovolen