Stav dette: Constraint satisfaction problems