- Knowledge compilation from DNF to switch-list representations2016 | Matematicko-fyzikální fakulta
- Switch-List Representations in a Knowledge Compilation Map2020 | Matematicko-fyzikální fakulta
- Succinctness of Switch-List Representations of Boolean Functions2018 | Matematicko-fyzikální fakulta
- Properties of Switch-List Representations of Boolean Functions2020 | Matematicko-fyzikální fakulta
- Recognition of tractable DNFs representable by a constant number of intervals2017 | Matematicko-fyzikální fakulta
- Switch lists in the landscape of knowledge representations languages2022 | Matematicko-fyzikální fakulta
- A Direct Equivalence-Testing Algorithm for SLRs2022 | Matematicko-fyzikální fakulta