Solving Difficult CSPs with Relational Neighborhood Inverse Consistency