•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.
