Košík

0559241 - ÚI 2023 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: knowledge compilation * constraint CNF encoding * DNNF * propagation complete encoding
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1.6, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1007/s10601-022-09331-2
Trvalý link: https://hdl.handle.net/11104/0332581