A Fast Algorithm for Maltsev Constraints
The constraint satisfaction problem over a set of relations $\Gamma$ (CSP($\Gamma$)) is the computational problem of deciding if a set of constraints admits at least one solution. The classical complexity for finite-domain CSP($\Gamma$) is settled by the CSP dichotomy theorem: it is tractable if $\Gamma$ satisfies a no...