- Complexity Issues Related to Propagation Completeness2013 | Matematicko-fyzikální fakulta
- A Lower Bound on CNF Encodings of the At-Most-One Constraint2017 | Matematicko-fyzikální fakulta
- A lower bound on CNF encodings of the at-most-one constraint2019 | Matematicko-fyzikální fakulta
- Propagation complete encodings of smooth DNNF theories2022 | Matematicko-fyzikální fakulta
- Mouse polyomavirus: Propagation, purification, quantification, and storage2015 | Přírodovědecká fakulta
- Bounds on the size of PC and URC formulas2020 | Matematicko-fyzikální fakulta
- On the size of CNF formulas with high propagation strength2020 | Matematicko-fyzikální fakulta
- Learning a Propagation Complete Formula2022 | Matematicko-fyzikální fakulta