Předměty
Publikace
- Unique key Horn functions2022 | Matematicko-fyzikální fakulta
- Rozpoznávání intervalových booleovských funkcí2008 | Matematicko-fyzikální fakulta
- Rozpoznávání Intervalových Booleovských Funkcí2006 | Matematicko-fyzikální fakulta
- Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Matematicko-fyzikální fakulta
- Learning a Propagation Complete Formula2022 | Matematicko-fyzikální fakulta
- Propagation complete encodings of smooth DNNF theories2022 | Matematicko-fyzikální fakulta
- Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings2021 | Matematicko-fyzikální fakulta
- Generating clause sequences of a CNF formula2021 | Matematicko-fyzikální fakulta
- Bounds on the size of PC and URC formulas2020 | Matematicko-fyzikální fakulta
Loading network view...