Předměty
Publikace
- 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
- Generating clause sequences of a CNF formula2021 | Matematicko-fyzikální fakulta
- Approximating minimum representations of key Horn functions2020 | Matematicko-fyzikální fakulta
- Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability2019 | Matematicko-fyzikální fakulta
- Properties of SLUR Formulae2012 | Matematicko-fyzikální fakulta
- Boolean functions with long prime implicants +12012 | Matematicko-fyzikální fakulta
- On Hierarchies over the SLUR Class2012 | Matematicko-fyzikální fakulta
- On Hierarchies over the Class of SLUR Formulae2011 | Matematicko-fyzikální fakulta
Loading network view...