Výsledky vyhledávání

  1. 1.
    0480888 - ÚI 2018 DE eng C - Konferenční příspěvek (zahraniční konf.)
    Savický, Petr - Kučera, P.
    Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract).
    Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Freiburg: IJCAI, 2017 - (Sierra, C.), s. 5055-5059. ISBN 978-0-9992411-0-3.
    [IJCAI 2017. International Joint Conference on Artificial Intelligence /26./. Melbourne (AU), 19.08.2017-25.08.2017]
    Grant CEP: GA ČR GBP202/12/G061
    Grant ostatní: GA ČR 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
    https://www.ijcai.org/proceedings/2017/0721.pdf
    Trvalý link: http://hdl.handle.net/11104/0276554
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0480888.pdf1104.2 KBVydavatelský postprintvyžádat
     
     
  2. 2.
    0478486 - ÚI 2018 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
    Kučera, P. - Savický, Petr - Vorel, V.
    A Lower Bound on CNF Encodings of the At-Most-One Constraint.
    Theory and Applications of Satisfiability Testing - SAT 2017. Cham: Springer, 2017 - (Gaspers, S.; Walsh, T.), s. 412-428. Lecture Notes in Computer Science, 10491. ISBN 978-3-319-66262-6. ISSN 0302-9743.
    [SAT 2017. International Conference on Theory and Applications of Satisfiability Testing /20./. Melbourne (AU), 28.08.2017-01.09.2017]
    Grant CEP: GA ČR GBP202/12/G061
    Grant ostatní: GA ČR(CZ) GA15-15511S
    Institucionální podpora: RVO:67985807
    Klíčová slova: Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Trvalý link: http://hdl.handle.net/11104/0274603
    Název souboruStaženoVelikostKomentářVerzePřístup
    0478486.pdf2801.7 KBAutorský preprintpovolen
    a0478486.pdf4310.6 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.