Classes
Publications
- 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
- Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability2019 | Faculty of Mathematics and Physics
- A Lower Bound on CNF Encodings of the At-Most-One Constraint2017 | Faculty of Mathematics and Physics
- Complexity Issues Related to Propagation Completeness2013 | Faculty of Mathematics and Physics
- Boolean functions with a simple certificate for CNF complexity2012 | Faculty of Mathematics and Physics
- Properties of SLUR Formulae2012 | Faculty of Mathematics and Physics
- On Hierarchies over the Class of SLUR Formulae2011 | Faculty of Mathematics and Physics
- Disjoint essential sets of implicates of a CQ Horn function2011 | Faculty of Mathematics and Physics
- Disjoint essential sets of implicates of a CQ Horn function.2009 | Faculty of Mathematics and Physics
Loading network view...
