Classes
Publications
- Short Definitions in Constraint Languages +12023 | Faculty of Mathematics and Physics
- CC-CIRCUITS AND THE EXPRESSIVE POWER OF NILPOTENT ALGEBRAS2022 | Faculty of Mathematics and Physics
- Equations in oligomorphic clones and the constraint satisfaction problem for omega-categorical structures2019 | Faculty of Mathematics and Physics
- 2 ℵ No pairwise non-isomorphic maximal-closed subgroups of Sym(N) via the classification of the reducts of the Henson digraphs2018 | Faculty of Mathematics and Physics
- The Equivalence of Two Dichotomy Conjectures for Infinite Domain Constraint Satisfaction Problems2017 | Faculty of Mathematics and Physics
- WHEN SYMMETRIES ARE NOT ENOUGH: A HIERARCHY OF HARD CONSTRAINT SATISFACTION PROBLEMS2022 | Faculty of Mathematics and Physics
- Local-global property for G-invariant terms2022 | Faculty of Mathematics and Physics
- Hrushovski's Encoding and ω-Categorical CSP Monsters2020 | Faculty of Mathematics and Physics
- Notes on extended equation solvability and identity checking for groups2019 | Faculty of Mathematics and Physics
- The equation solvability problem over supernilpotent algebras with Mal'cev term2018 | Faculty of Mathematics and Physics
Loading network view...