Classes
Publications
- Weisfeiler-Leman Invariant Promise Valued CSPs2022 | Faculty of Mathematics and Physics
- Deciding absorption in relational structures2017 | Faculty of Mathematics and Physics
- Deciding absorption2016 | Faculty of Mathematics and Physics
- Finitely Related Algebras in Congruence Distributive Varieties Have Near Unanimity Terms2013 | Faculty of Mathematics and Physics
- Congruence distributivity implies 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
- Combinatorial Gap Theorem and Reductions between Promise CSPs2022 | Faculty of Mathematics and Physics
- Finitely Tractable Promise Constraint Satisfaction Problems2021 | Faculty of Mathematics and Physics
- Constraint Satisfaction Problems over Finite Structures2021 | Faculty of Mathematics and Physics
Loading network view...