Constraint satisfaction -- algorithms and complexity analysis
scientific article; zbMATH DE number 984733