Constraint-Satisfaction-Problem