- Compiling SL representations of Boolean functions into OBDDs2020 | Matematicko-fyzikální fakulta
- Exponenciální spodní odhad pro OBDD důkazové systémy2008 | Matematicko-fyzikální fakulta
- Algebraic and Uniqueness Properties of Parity Ordered Binary Decesion Diagrams and Their Generalization2000 | Matematicko-fyzikální fakulta
- A Direct Equivalence-Testing Algorithm for SLRs2022 | Matematicko-fyzikální fakulta
- Properties of Switch-List Representations of Boolean Functions2020 | Matematicko-fyzikální fakulta
- Succinctness of Switch-List Representations of Boolean Functions2018 | Matematicko-fyzikální fakulta
- Switch lists in the landscape of knowledge representations languages2022 | Matematicko-fyzikální fakulta
- Switch-List Representations in a Knowledge Compilation Map2020 | Matematicko-fyzikální fakulta