Algebraic and algorithmic synergies between promise and infinite-domain CSPs

Antoine Mottet

We establish a framework that allows us to transfer results between some constraint satisfaction problems with infinite templates and promise constraint satisfaction problems. On t…