Search results

  1. 1.
    0494392 - ÚI 2020 RIV NL eng J - Journal Article
    Kučera, P. - Savický, Petr - Vorel, V.
    A Lower Bound on CNF Encodings of the At-most-one Constraint.
    Theoretical Computer Science. Roč. 762, March (2019), s. 51-73. ISSN 0304-3975. E-ISSN 1879-2294
    R&D Projects: GA ČR GBP202/12/G061
    Grant - others:GA ČR(CZ) GA15-15511S
    Institutional support: RVO:67985807
    Keywords : Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 0.747, year: 2019
    Method of publishing: Limited access
    http://dx.doi.org/10.1016/j.tcs.2018.09.003
    Permanent Link: http://hdl.handle.net/11104/0287600
    FileDownloadSizeCommentaryVersionAccess
    a0494392.pdf9607.1 KBPublisher’s postprintrequire
     
     
  2. 2.
    0450591 - ÚI 2017 RIV US eng J - Journal Article
    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
    R&D Projects: GA ČR GBP202/12/G061
    Grant - others:GA ČR(CZ) GA15-15511S
    Institutional support: RVO:67985807
    Keywords : conjunctive normal form * matched formula * pure literal satisfiable formula
    Subject RIV: BA - General Mathematics
    Impact factor: 2.284, year: 2016
    Permanent Link: http://hdl.handle.net/11104/0251864
    FileDownloadSizeCommentaryVersionAccess
    a0450591.pdf7237 KBPublisher’s postprintrequire
     
     


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