Describir: Constraint satisfaction problems