Dmitriy Zhuk

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 2020Show all

2 papers · 1 filter

cs.CC2020★ 5 cited

Strong subalgebras and the Constraint Satisfaction Problem

Dmitriy Zhuk

In 2007 it was conjectured that the Constraint Satisfaction Problem (CSP) over a constraint language $Γ$ is tractable if and only if $Γ$ is preserved by a weak near-unanimity (WNU)…

cs.CC2020

No-Rainbow Problem and the Surjective Constraint Satisfaction Problem

Dmitriy Zhuk

The Surjective Constraint Satisfaction Problem (SCSP) is the problem of deciding whether there exists a surjective assignment to a set of variables subject to some specified constr…