- 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
- Intervalové reprezentace booleovských funkcí2007 | 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
- Compiling SL representations of Boolean functions into OBDDs2020 | Matematicko-fyzikální fakulta
- Intervalové reprezentace 2-monotonních a prahových booleovských funkcí2006 | 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
- Intervalová rozšíření částečně definovaných booleovských funkcí2006 | Matematicko-fyzikální fakulta
- Boolean functions with a simple certificate for CNF complexity2012 | Matematicko-fyzikální fakulta
- Proofs of several conjectures on linear codes from Boolean functions2019 | Matematicko-fyzikální fakulta
- Minory Booleovských funkcí vzhledem ke klikovým funkcím a hypergrafovým homomorfismům2010 | Matematicko-fyzikální fakulta
- Skrytě intervalová rozšíření částečně definovaných booleovských funkcí2007 | Matematicko-fyzikální fakulta
- Nejlépe padnoucí intervalová rozšíření částečně definovaných Booleovských funkcí2007 | Matematicko-fyzikální fakulta
- Boolean functions with long prime implicants +12012 | Matematicko-fyzikální fakulta
- Properties of Switch-List Representations of Boolean Functions2020 | Matematicko-fyzikální fakulta
- Exkluzivní a esenciální množiny implikátů boolovských funkcí2010 | Matematicko-fyzikální fakulta
- Knowledge compilation and compression using interval representations2015 | Matematicko-fyzikální fakulta
- A Communication Game Related to the Sensitivity Conjecture2017 | Matematicko-fyzikální fakulta
- Recognition of tractable DNFs representable by a constant number of intervals2017 | Matematicko-fyzikální fakulta
- Properties of SLUR Formulae2012 | Matematicko-fyzikální fakulta
- A New Approach to the Sensitivity Conjecture2015 | Matematicko-fyzikální fakulta
- Improved Bounds on Fourier Entropy and Min-Entropy2020 | Matematicko-fyzikální fakulta
- A decomposition method for CNF minimality proofs2013 | Matematicko-fyzikální fakulta
- Improved Bounds on Fourier Entropy and Min-entropy2021 | Matematicko-fyzikální fakulta
- Complexity Issues Related to Propagation Completeness2013 | Matematicko-fyzikální fakulta
- A combinatorial min-max theorem and minimization of pure-Horn functions2016 | Matematicko-fyzikální fakulta