Backtracking Through Biconnected Components of a Constraint Graph