Graph Theory and Constraint Programming