determine algorithm if a set of constraints is satisfiable code example

Example: To overcome the need to backtrack in constraint satisfaction problem can be eliminated by

Forward Searching