Li, C. Towards Interesting Patterns of Hard CSPs With Functional Constraints. AAAI 2010, 24, 1941-1942.