research
∙
09/16/2021
Small PCSPs that reduce to large CSPs
For relational structures A, B of the same signature, the Promise Constr...
share
research
∙
09/05/2021
The local-global property for G-invariant terms
For some Maltsev conditions Σ it is enough to check if a finite algebra ...
research
∙
02/14/2020
Deciding the existence of quasi weak near unanimity terms in finite algebras
We show that for a fixed positive integer k one can efficiently decide i...
research
∙
01/15/2019
Existence of cube terms in finite finitely generated clones
We study the problem of whether a given finite clone generated by finite...
research
∙
01/02/2019