Classes
Publications
- On Minimum Representations of Matched Formulas (Extended Abstract)2017 | Faculty of Mathematics and Physics
- On Minimum Representations of Matched Formulas2014 | Faculty of Mathematics and Physics
- Properties of SLUR Formulae2012 | Faculty of Mathematics and Physics
- Boolean functions with long prime implicants +12012 | Faculty of Mathematics and Physics
- On Hierarchies over the SLUR Class2012 | Faculty of Mathematics and Physics
- On Hierarchies over the Class of SLUR Formulae2011 | 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
- 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
Loading network view...