Intelligent Backtracking
	• Example: Maine must be colored green. We start by coloring New Hampshire green, and finish with Maine as the last variable for instantiation. à thrashing • During search, one can keep track of the way in which variable instantiations constrain other variable instantiations. • Then one can backtrack to the cause of instantiation failure.