- Propagation complete encodings of smooth DNNF theories2022 | Matematicko-fyzikální fakulta
- Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings2021 | 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