Constraint satisfaction problems: Algorithms and applications
scientific article; zbMATH DE number 1370723