- Lokálně konzistentní CSP2005 | Matematicko-fyzikální fakulta
- Lokálně konzistentní CSP s binárními omezujícími podmínkami +12005 | Matematicko-fyzikální fakulta
- Constraint Satisfaction Problems Solvable by Local Consistency Methods2014 | Matematicko-fyzikální fakulta
- Limit behavior of locally consistent constraint satisfaction problems2011 | Matematicko-fyzikální fakulta
- Locally Consistent Decomposition of Strings with Applications to Edit Distance Sketching2023 | Matematicko-fyzikální fakulta
- Asymptoticky optimální lineární algoritmus pro lokálně konzistentní CSP +12005 | Matematicko-fyzikální fakulta
- Locally consistent constraint satisfaction problems +12004 | Matematicko-fyzikální fakulta
- Locally consistent constraint satisfaction problems with binary constraints2005 | Matematicko-fyzikální fakulta
- An asymptotically optimal linear-time algorithm for locally consistent constraint satisfaction problems2005 | Matematicko-fyzikální fakulta
- Pre-processing in Boolean Satisfiability Using Bounded (2,k)-Consistency on Regions with Locally Difficult Constraint Setup2014 | Matematicko-fyzikální fakulta
- The collapse of the bounded width hierarchy2016 | Matematicko-fyzikální fakulta
- Problémy splnitelnosti omezení, mající konečnou šířku2009 | Matematicko-fyzikální fakulta
- Z distributivity kongruencí vyplývá konečná šířka2009 | Matematicko-fyzikální fakulta
- On the Reduction of the CSP Dichotomy Conjecture to Digraphs2013 | Matematicko-fyzikální fakulta
- On the complexity of H-coloring for special oriented trees2018 | Matematicko-fyzikální fakulta
- Induced Ramsey-Type Results and Binary Predicates for Point Sets2017 | Matematicko-fyzikální fakulta
- Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP2021 | Matematicko-fyzikální fakulta
- Sensitive Instances of the Constraint Satisfaction Problem2020 | Matematicko-fyzikální fakulta