Classes
Publications
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Faculty of Mathematics and Physics
- Propagation complete encodings of smooth DNNF theories2022 | Faculty of Mathematics and Physics
- Approximating minimum representations of key Horn functions2020 | Faculty of Mathematics and Physics
- A lower bound on CNF encodings of the at-most-one constraint2019 | Faculty of Mathematics and Physics
- A Lower Bound on CNF Encodings of the At-Most-One Constraint2017 | Faculty of Mathematics and Physics
- 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
- Hydras: Complexity on general graphs and a subclass of trees +12014 | 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
Loading network view...