Constraint Satisfaction Problems over Finite Structures Barto, Libor Demeo, William Mottet, Antoine 2021 - TUHH Open Research