Constraint Satisfaction Problems: an attempt to transpose a dichotomy theorem

Our work is motivated by two papers from Schaefer [10] and by Creignou and Hermann [3] establishing dichotomy theorems for constraint satisfaction problems, together with definitions in algebraic complexity of similar problems ( [8], [6]). A logical relation is a function that takes a boolean vector and returns a boolean. For a set S