"constraint satisfaction" Deutsche bedeutung