ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "CNF representations"
CNF representations
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Boolean functions with a simple certificate for CNF complexity
2012 |
Matematicko-fyzikální fakulta
publication
Disjunktní esenciální množiny implikantů pro CQ Hornovské funkce
2011 |
Matematicko-fyzikální fakulta
publication
Disjunktní esenciální množiny implikátů CQ Hornovské funkce.
2009 |
Matematicko-fyzikální fakulta
publication
On Minimum Representations of Matched Formulas (Extended Abstract)
2017 |
Matematicko-fyzikální fakulta
publication
A Lower Bound on CNF Encodings of the At-Most-One Constraint
2017 |
Matematicko-fyzikální fakulta
publication
A lower bound on CNF encodings of the at-most-one constraint
2019 |
Matematicko-fyzikální fakulta
publication
A SEPARATOR THEOREM FOR HYPERGRAPHS AND A CSP-SAT ALGORITHM
2021 |
Matematicko-fyzikální fakulta
publication
On Minimum Representations of Matched Formulas
2014 |
Matematicko-fyzikální fakulta
publication
Properties of SLUR Formulae
2012 |
Matematicko-fyzikální fakulta