“Constraint Programming” refers, for the most part, to the solving of finite-domain problems via backtracking and constraint propagation and is typically concerned with performing a complete, global search of the solution space.

https://en.m.wikipedia.org/wiki/Constraint_satisfaction