- k-DNF a acyklická rozšíření částečně definovaných booleovských funkcí2005 | Matematicko-fyzikální fakulta
- Knowledge compilation from DNF to switch-list representations2016 | Matematicko-fyzikální fakulta
- k-DNF and Acyclic Extensions of pdBfs2005 | Matematicko-fyzikální fakulta
- Recognition of tractable DNFs representable by a constant number of intervals2017 | Matematicko-fyzikální fakulta
- Boolean functions with long prime implicants +12012 | Matematicko-fyzikální fakulta
- Knowledge compilation and compression using interval representations2015 | Matematicko-fyzikální fakulta
- Improved Bounds on Fourier Entropy and Min-entropy2021 | Matematicko-fyzikální fakulta
- Rozpoznávání Pozitivních 2-Intervalových Booleovských Funkcí2008 | Matematicko-fyzikální fakulta
- Přejmenovatelné intervalové booleovské funkce2008 | Matematicko-fyzikální fakulta
- Přejmenovatelné Intervalové Booleovské Funkce2006 | Matematicko-fyzikální fakulta
- Rozpoznávání intervalových booleovských funkcí2008 | Matematicko-fyzikální fakulta
- Rozpoznávání Intervalových Booleovských Funkcí2006 | Matematicko-fyzikální fakulta
- Rozpoznávání 2-intervalových booleovských funkcí2007 | Matematicko-fyzikální fakulta
- Succinctness of Switch-List Representations of Boolean Functions2018 | Matematicko-fyzikální fakulta
- Improved Bounds on Fourier Entropy and Min-Entropy2020 | Matematicko-fyzikální fakulta
- Switch-List Representations in a Knowledge Compilation Map2020 | Matematicko-fyzikální fakulta
- Properties of Switch-List Representations of Boolean Functions2020 | Matematicko-fyzikální fakulta