Complexity Classification Transfer for CSPs via Algebraic Products

Manuel Bodirsky, Peter Jonsson, Barnaby Martin +2

We study the complexity of infinite-domain constraint satisfaction problems: our basic setting is that a complexity classification for the CSPs of first-order expansions of a struc…