Huang, P., Yin, M., & Xu, K. (2011). Exact Phase Transitions and Approximate Algorithm of #CSP. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 1790-1791. https://doi.org/10.1609/aaai.v25i1.8050