Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Štefan Gurský"'
Publikováno v:
IJCAI
A Boolean formula in conjunctive normal form (CNF) is called matched if the system of sets of variables which appear in individual clauses has a system of distinct representatives. We present here two results for matched CNFs: The first result is a s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9d6579e88f1e568ede7e03941ad3cc71
https://doi.org/10.24963/ijcai.2017/706
https://doi.org/10.24963/ijcai.2017/706
Publikováno v:
Artificial Intelligence. 203:19-34
Knowledge compilation is a process of adding more information to a knowledge base in order to make it easier to deduce facts from the compiled base than from the original one. One type of knowledge compilation occurs when the knowledge in question is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::048d2fefa62c9aa48bcb391d9d28b768
https://doi.org/10.1016/j.artint.2013.07.006
https://doi.org/10.1016/j.artint.2013.07.006