C. Li, “Towards Interesting Patterns of Hard CSPs with Functional Constraints”, AAAI, vol. 24, no. 1, pp. 1941–1942, Jul. 2010.