Classes
Publications
- Learning a Propagation Complete Formula2022 | Faculty of Mathematics and Physics
- On the size of CNF formulas with high propagation strength2020 | Faculty of Mathematics and Physics
- Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability2019 | Faculty of Mathematics and Physics
- Hydras: Complexity on general graphs and a subclass of trees +12014 | Faculty of Mathematics and Physics
- Application of DES Theory to Verification of Software Components2009 | 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
- Propagation complete encodings of smooth DNNF theories2022 | Faculty of Mathematics and Physics
- Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings2021 | Faculty of Mathematics and Physics
- Generating clause sequences of a CNF formula2021 | Faculty of Mathematics and Physics
Loading network view...