activity
20112023
most citedUnifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras

6 citations · 20 across the 15 of their papers we have counts for

collaborators
Showing 2011 · math.LOShow all

1 paper · 2 filters

math.LO2011

The existence of a near-unanimity function is decidable

Dmitriy Zhuk

We prove that the following problem is decidable: given a finite set of relations, decide whether this set admits a near-unanimity function.