Bounds on the Size of PC and URC Formulas

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