The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems - Barto, Libor; Pinsker, Michael (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016)
Keywords: Theory of computation -- Logic; Theory of computation -- Models of computation -- Computability; continuous clone homomorphism; dichotomy conjecture; homogeneous structure; term condition; stabilizer; constraint satisfaction problem; polymorphism clone; ω-categorical structure