Comment by lubomir

And then there's also Constraint Satisfaction Problem.