On the induced problem for fixed-template CSPs

Rustem Takhanov

The Constraint Satisfaction Problem (CSP) is a problem of computing a homomorphism $\mathbf{R}\to \mathbf{\Gamma }$ between two relational structures, where $\mathbf{R}$ is defined over a…