Woodward, R., Karakashian, S., Choueiry, B., & Bessiere, C. (2011). Solving Difficult CSPs with Relational Neighborhood Inverse Consistency. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 112–119. https://doi.org/10.1609/aaai.v25i1.7825