Constraint Satisfaction, Constraint Programming, and Concurrency 2 Constraint Satisfaction