Classes
Publications
- Boolean functions with long prime implicants +12012 | Faculty of Mathematics and Physics
- Recognition of interval Boolean functions2008 | Faculty of Mathematics and Physics
- Renamable interval Boolean functions2008 | Faculty of Mathematics and Physics
- Recognition of Interval Boolean Functions2006 | Faculty of Mathematics and Physics
- Renamable Interval Boolean Functions2006 | Faculty of Mathematics and Physics
- k-DNF and Acyclic Extensions of pdBfs +12005 | Faculty of Mathematics and Physics
- 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...