ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "CNF minimization"
CNF minimization
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Tractability conditions for classes of CNFs and their influence on the complexity of CNF minimization
2014 |
Matematicko-fyzikální fakulta
publication
A decomposition method for CNF minimality proofs
2013 |
Matematicko-fyzikální fakulta
