Classes
Publications
- Unique key Horn functions2022 | Faculty of Mathematics and Physics
- On Minimum Representations of Matched Formulas2014 | Faculty of Mathematics and Physics
- Complexity Issues Related to Propagation Completeness2013 | Faculty of Mathematics and Physics
- Properties of SLUR Formulae2012 | 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
- Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing2005 | Faculty of Mathematics and Physics, Central Library of Charles University
- k-DNF and Acyclic Extensions of pdBfs +12005 | Faculty of Mathematics and Physics
Loading network view...