Search results

  1. 1.
    0559241 - ÚI 2023 RIV NL eng J - Journal Article
    Kučera, P. - Savický, Petr
    Propagation Complete Encodings of Smooth DNNF Theories.
    Constraints. Roč. 27, č. 3 (2022), s. 327-359. ISSN 1383-7133. E-ISSN 1572-9354
    R&D Projects: GA ČR(CZ) GA19-19463S
    Institutional support: RVO:67985807
    Keywords : knowledge compilation * constraint CNF encoding * DNNF * propagation complete encoding
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 1.6, year: 2022
    Method of publishing: Limited access
    https://dx.doi.org/10.1007/s10601-022-09331-2
    Permanent Link: https://hdl.handle.net/11104/0332581
     
     
  2. 2.
    0536433 - ÚI 2021 RIV US eng J - Journal Article
    Kučera, P. - Savický, Petr
    Bounds on the Size of PC and URC Formulas.
    Journal of Artificial Intelligence Research. Roč. 69, 24 December (2020), s. 1395-1420. ISSN 1076-9757. E-ISSN 1943-5037
    R&D Projects: GA ČR(CZ) GA19-19463S
    Institutional support: RVO:67985807
    Keywords : automated reasoning * knowledge representation * satisfiability
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 2.776, year: 2020
    Method of publishing: Open access
    Permanent Link: http://hdl.handle.net/11104/0314210
    FileDownloadSizeCommentaryVersionAccess
    0536433-afin.pdf2294.1 KBOA casopisPublisher’s postprintopen-access
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.