- On Planar Boolean CSP2015 | Matematicko-fyzikální fakulta
- Laslettova transformace Booleova modelu v R^d2006 | Matematicko-fyzikální fakulta
- Dichotomy for Symmetric Boolean PCSPs2019 | 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
- Succinctness of Switch-List Representations of Boolean Functions2018 | 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
- Compiling SL representations of Boolean functions into OBDDs2020 | Matematicko-fyzikální fakulta
- Boolean functions with long prime implicants +12012 | Matematicko-fyzikální fakulta
- Constructivizability of the Boolean algebra B(ω) with a distinguished automorphism +12012 | Matematicko-fyzikální fakulta, Fakulta sociálních věd, Centrum pro ekonomický výzkum a doktorské studium
- Třídy booleovských formulí s efektivně řešitelným SATem2010 | Matematicko-fyzikální fakulta
- Intervalové reprezentace 2-monotonních a prahových booleovských funkcí2006 | Matematicko-fyzikální fakulta
- On Boolean ranges of Banaschewski functions2018 | Matematicko-fyzikální fakulta
- Intervalová rozšíření částečně definovaných booleovských funkcí2006 | Matematicko-fyzikální fakulta
- Computable categoricity of the Boolean algebra B(omega) with a distinguished automorphism2013 | Matematicko-fyzikální fakulta, Fakulta sociálních věd, Centrum pro ekonomický výzkum a doktorské studium
- Rozpoznávání Pozitivních 2-Intervalových Booleovských Funkcí2008 | Matematicko-fyzikální fakulta
- Kvocientove Booleovy algebry a regularni podalgebry2010 | Publikace bez příslušnosti k fakultě
- Between Path-Consistency and Higher Order Consistencies in Boolean Satisfiability2011 | Matematicko-fyzikální fakulta
- Přejmenovatelné intervalové booleovské funkce2008 | Matematicko-fyzikální fakulta
- Přejmenovatelné Intervalové Booleovské Funkce2006 | Matematicko-fyzikální fakulta
- Analyza DNA Microarray pomocí booleovských technik2011 | Matematicko-fyzikální fakulta
- Boolean functions with a simple certificate for CNF complexity2012 | Matematicko-fyzikální fakulta
- On the gap between the complexity of SAT and minimization for certain classes of boolean formulas2014 | Matematicko-fyzikální fakulta
- Generování implikovaných Boolean podmínek pomocí jednotkové konzistence +12007 | Matematicko-fyzikální fakulta
- Homomorfismy cest, obarvení grafu a Booleovské matice2010 | Matematicko-fyzikální fakulta
- Proofs of several conjectures on linear codes from Boolean functions2019 | Matematicko-fyzikální fakulta