It's called Finite Domain Constraint Programming and it's been studied for about 50 years.