SMS: Constraint satisfaction problems