The following algorithms attempt to solve a CSP by either propagating constraints (AC-3) or using search (BackTracking)