Constraint satisfaction problems: convexity makes AllDifferent constraints tractable
scientific article; zbMATH DE number 6140783