P. Huang, M. Yin, and K. Xu, “Exact Phase Transitions and Approximate Algorithm of #CSP”, AAAI, vol. 25, no. 1, pp. 1790–1791, Aug. 2011.