algorithm to check if a set of constraints is satisfied code example Example: To overcome the need to backtrack in constraint satisfaction problem can be eliminated by Forward Searching