Classes
Publications
- 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
- Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)2017 | Faculty of Mathematics and Physics
- On Minimum Representations of Matched Formulas (Extended Abstract)2017 | Faculty of Mathematics and Physics
- Generating Models of a Matched Formula With a Polynomial Delay2016 | Faculty of Mathematics and Physics
- Generating models of a matched formula with a polynomial delay2016 | Faculty of Mathematics and Physics
- On Minimum Representations of Matched Formulas2014 | 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...