Classes
Publications
- Generating clause sequences of a CNF formula2021 | Faculty of Mathematics and Physics
- Analysing DNA Microarray Data Using Boolean Techniques2011 | Faculty of Mathematics and Physics
- Recognition of interval Boolean functions2008 | Faculty of Mathematics and Physics
- Recognition of Interval Boolean Functions2006 | Faculty of Mathematics and Physics
- k-DNF and Acyclic Extensions of pdBfs +12005 | Faculty of Mathematics and Physics
- 14th Czech-Japan Seminar on Data Analysis and Decision Making under UncertaintyPublication without faculty affiliation
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Faculty of Mathematics and Physics
- Unique key Horn functions2022 | Faculty of Mathematics and Physics
- Learning a Propagation Complete Formula2022 | Faculty of Mathematics and Physics
- Propagation complete encodings of smooth DNNF theories2022 | Faculty of Mathematics and Physics
Loading network view...