Košík

    1.
    0450591 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
    Savický, Petr - Kučera, P.
    Generating Models of a Matched Formula with a Polynomial Delay.
    Journal of Artificial Intelligence Research. Roč. 56, č. 6 (2016), s. 379-402. ISSN 1076-9757. E-ISSN 1943-5037
    Grant CEP: GA ČR GBP202/12/G061
    Grant ostatní: GA ČR(CZ) GA15-15511S
    Institucionální podpora: RVO:67985807
    Klíčová slova: conjunctive normal form * matched formula * pure literal satisfiable formula
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 2.284, rok: 2016
    Trvalý link: http://hdl.handle.net/11104/0251864
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0450591.pdf7237 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