Solving Difficult CSPs with Relational Neighborhood Inverse Consistency (AAAI11)