Kambhampati, S., and T. Liu. “Phase Transition and Network Structure in Realistic SAT Problems”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 1619-20, doi:10.1609/aaai.v27i1.8529.