R. Woodward, S. Karakashian, B. Choueiry, and C. Bessiere, “Solving Difficult CSPs with Relational Neighborhood Inverse Consistency”, AAAI, vol. 25, no. 1, pp. 112-119, Aug. 2011.