Define Constraint Satisfaction Problem