[PDF] - Solving Constraint Satisfaction Problems: Arc Consistency and PDF Document