Classes
Publications
- Bounds on the size of PC and URC formulas2020 | Faculty of Mathematics and Physics
- On the size of CNF formulas with high propagation strength2020 | Faculty of Mathematics and Physics
- On Hierarchies over the Class of SLUR Formulae2011 | Faculty of Mathematics and Physics
- Recognition of interval Boolean functions2008 | Faculty of Mathematics and Physics
- Renamable Interval Extensions of Partially Defined Boolean Functions2007 | Faculty of Mathematics and Physics
- Recognition of Interval Boolean Functions2006 | Faculty of Mathematics and Physics
- Interval Extensions of Partially Defined 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
Loading network view...
