CSPs

Forward Checking, Recursive Backtracking

Arc Consistency