Constraint Satisfaction Problems and Consistency Restoration Florent Launay Undergraduate student at FIT.