Classes
Publications
- Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP2021 | Faculty of Mathematics and Physics
- Sensitive Instances of the Constraint Satisfaction Problem2020 | Faculty of Mathematics and Physics
- The collapse of the bounded width hierarchy2016 | Faculty of Mathematics and Physics
- Constraint Satisfaction Problems Solvable by Local Consistency Methods2014 | Faculty of Mathematics and Physics
- Congruence distributivity implies bounded width2009 | Faculty of Mathematics and Physics
- Constraint Satisfaction Problems of Bounded Width2009 | Faculty of Mathematics and Physics
- Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing2023 | Faculty of Mathematics and Physics
- Fixed-Template Promise Model Checking Problems2022 | Faculty of Mathematics and Physics
- Weisfeiler-Leman Invariant Promise Valued CSPs2022 | Faculty of Mathematics and Physics
- Combinatorial Gap Theorem and Reductions between Promise CSPs2022 | Faculty of Mathematics and Physics
Loading network view...