Předměty
Publikace
- A lower bound on CNF encodings of the at-most-one constraint2019 | Matematicko-fyzikální fakulta
- Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability2019 | Matematicko-fyzikální fakulta
- A Lower Bound on CNF Encodings of the At-Most-One Constraint2017 | Matematicko-fyzikální fakulta
- Boolean functions with a simple certificate for CNF complexity2012 | Matematicko-fyzikální fakulta
- Disjunktní esenciální množiny implikantů pro CQ Hornovské funkce2011 | Matematicko-fyzikální fakulta
- Disjunktní esenciální množiny implikátů CQ Hornovské funkce.2009 | Matematicko-fyzikální fakulta
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Matematicko-fyzikální fakulta
- Unique key Horn functions2022 | Matematicko-fyzikální fakulta
- Learning a Propagation Complete Formula2022 | Matematicko-fyzikální fakulta
- Propagation complete encodings of smooth DNNF theories2022 | Matematicko-fyzikální fakulta
Loading network view...