I am surprised that three hours in and no one has mentioned constraint satisfaction yet: https://en.wikipedia.org/wiki/Constraint_satisfaction