0536433 - ÚI 2021 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: automated reasoning * knowledge representation * satisfiability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.776, rok: 2020 ; AIS: 0.991, rok: 2020
Způsob publikování: Open access
DOI: https://doi.org/10.1613/JAIR.1.12006
Trvalý link: http://hdl.handle.net/11104/0314210