Constraint-satisfaction problem