Předměty
Publikace
- Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability2019 | Matematicko-fyzikální fakulta
- Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)2017 | Matematicko-fyzikální fakulta
- On Minimum Representations of Matched Formulas (Extended Abstract)2017 | Matematicko-fyzikální fakulta
- Generating Models of a Matched Formula With a Polynomial Delay2016 | Matematicko-fyzikální fakulta
- Generating models of a matched formula with a polynomial delay2016 | Matematicko-fyzikální fakulta
- On Minimum Representations of Matched Formulas2014 | Matematicko-fyzikální fakulta
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Matematicko-fyzikální fakulta
- Unique key Horn functions2022 | Matematicko-fyzikální fakulta
- Learning a Propagation Complete Formula2022 | Matematicko-fyzikální fakulta
- Propagation complete encodings of smooth DNNF theories2022 | Matematicko-fyzikální fakulta
Loading network view...